summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Disable-pretty-build.patch
blob: 7a999a2c15731b520ff2e0fd9b11a37b613fb082 (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 c888b2c..ebefd2a 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