diff options
Diffstat (limited to 'debian/patches/03_notruntests.patch')
-rw-r--r-- | debian/patches/03_notruntests.patch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/03_notruntests.patch b/debian/patches/03_notruntests.patch index a240c4d9..3348ddcb 100644 --- a/debian/patches/03_notruntests.patch +++ b/debian/patches/03_notruntests.patch @@ -8,10 +8,10 @@ Forwarded: doesn't make sense upstream 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/Makefile b/Makefile -index eeb6b91..7b8f1e1 100644 +index 59a87c3..351a7cc 100644 --- a/Makefile +++ b/Makefile -@@ -377,21 +377,21 @@ endif +@@ -404,21 +404,21 @@ endif yosys-abc$(EXE): abc/abc-$(ABCREV)$(EXE) $(P) cp abc/abc-$(ABCREV)$(EXE) yosys-abc$(EXE) @@ -48,11 +48,11 @@ index eeb6b91..7b8f1e1 100644 VALGRIND ?= valgrind --error-exitcode=1 --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all -@@ -521,6 +521,6 @@ echo-git-rev: +@@ -551,6 +551,6 @@ echo-git-rev: -include kernel/*.d -include techlibs/*/*.d -.PHONY: all top-all abc test install install-abc manual clean mrproper qtcreator +.PHONY: all top-all abc install install-abc manual clean mrproper qtcreator - .PHONY: config-clean config-clang config-gcc config-gcc-4.6 config-gprof config-sudo + .PHONY: config-clean config-clang config-gcc config-gcc-4.8 config-gprof config-sudo |