summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Disable-pretty-build.patch
blob: c115f66b0470ec19e3c0c97e84c134e93ace0684 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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 f357258..13b19ce 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ EXTRA_OBJS =
 EXTRA_TARGETS =
 TARGETS = yosys$(EXE) yosys-config
 
-PRETTY = 1
+PRETTY = 0
 SMALL = 0
 
 # Unit test