diff options
Diffstat (limited to 'debian/patches/0007-Disable-pretty-build.patch')
| -rw-r--r-- | debian/patches/0007-Disable-pretty-build.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/0007-Disable-pretty-build.patch b/debian/patches/0007-Disable-pretty-build.patch index 7c16ac9e..c115f66b 100644 --- a/debian/patches/0007-Disable-pretty-build.patch +++ b/debian/patches/0007-Disable-pretty-build.patch @@ -7,10 +7,10 @@ Subject: Disable pretty build 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile -index f26a6e0..8979641 100644 +index f357258..13b19ce 100644 --- a/Makefile +++ b/Makefile -@@ -41,7 +41,7 @@ EXTRA_OBJS = +@@ -52,7 +52,7 @@ EXTRA_OBJS = EXTRA_TARGETS = TARGETS = yosys$(EXE) yosys-config @@ -18,4 +18,4 @@ index f26a6e0..8979641 100644 +PRETTY = 0 SMALL = 0 - all: top-all + # Unit test |