diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2019-03-28 23:38:34 +0100 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-03-28 23:38:34 +0100 |
commit | ee9b525cc03a699f86b19da560cee88af624facf (patch) | |
tree | aea494b2f2d733f5306f6587a1bd6fa66bdafab4 /debian/patches/0007-Disable-pretty-build.patch | |
parent | ba2a8c73889c487be2400372260e18e8a82877f6 (diff) |
Refreshed patches
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..22e31cbc 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 383f6a5..0205d18 100644 --- a/Makefile +++ b/Makefile -@@ -52,7 +52,7 @@ EXTRA_OBJS = +@@ -53,7 +53,7 @@ EXTRA_OBJS = EXTRA_TARGETS = TARGETS = yosys$(EXE) yosys-config |