summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRuben Undheim <ruben.undheim@gmail.com>2017-04-05 09:31:37 +0000
committerRuben Undheim <ruben.undheim@gmail.com>2018-10-17 18:36:13 +0200
commitec4c28f18759d85821177dd86efe59c2cd7a30b1 (patch)
tree5dbcff853ca8cba057352645ccf142140a092db2
parent512952aa0f55484fc81136170083e2b7abbe9aff (diff)
Disable pretty build
Gbp-Pq: Name 0007-Disable-pretty-build.patch
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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