summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Disable-pretty-build.patch
blob: 22e31cbc722905e7819a72c2b15e6822c1729a6f (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 383f6a5..0205d18 100644
--- a/Makefile
+++ b/Makefile
@@ -53,7 +53,7 @@ EXTRA_OBJS =
 EXTRA_TARGETS =
 TARGETS = yosys$(EXE) yosys-config
 
-PRETTY = 1
+PRETTY = 0
 SMALL = 0
 
 # Unit test