diff options
Diffstat (limited to 'debian/patches/0007-Disable-pretty-build.patch')
| -rw-r--r-- | debian/patches/0007-Disable-pretty-build.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0007-Disable-pretty-build.patch b/debian/patches/0007-Disable-pretty-build.patch index c115f66b..03269c47 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 f357258..13b19ce 100644 +index da1b73f..065f4f2 100644 --- a/Makefile +++ b/Makefile -@@ -52,7 +52,7 @@ EXTRA_OBJS = +@@ -61,7 +61,7 @@ EXTRA_OBJS = EXTRA_TARGETS = TARGETS = yosys$(EXE) yosys-config |