diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2017-04-05 09:34:21 +0000 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2017-04-05 09:37:19 +0000 |
| commit | 5a2c6845cfbc4cdb3ed73fcf7dadeea72fb35a4f (patch) | |
| tree | fddf00d388347ca2a1006dc3419874c6c82cd131 /debian/patches/0007-Disable-pretty-build.patch | |
| parent | d3a3dc09c4d850dff15cff7adcf742d65de023c3 (diff) | |
Disable pretty build
Diffstat (limited to 'debian/patches/0007-Disable-pretty-build.patch')
| -rw-r--r-- | debian/patches/0007-Disable-pretty-build.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/patches/0007-Disable-pretty-build.patch b/debian/patches/0007-Disable-pretty-build.patch new file mode 100644 index 00000000..7c16ac9e --- /dev/null +++ b/debian/patches/0007-Disable-pretty-build.patch @@ -0,0 +1,21 @@ +From: Ruben Undheim <ruben.undheim@gmail.com> +Date: Wed, 5 Apr 2017 09:31:37 +0000 +Subject: Disable pretty build + +--- + Makefile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Makefile b/Makefile +index f26a6e0..8979641 100644 +--- a/Makefile ++++ b/Makefile +@@ -41,7 +41,7 @@ EXTRA_OBJS = + EXTRA_TARGETS = + TARGETS = yosys$(EXE) yosys-config + +-PRETTY = 1 ++PRETTY = 0 + SMALL = 0 + + all: top-all |