repositories / bf.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ed5473a)
please @camilstaps master
authorMart Lubbers <mart@martlubbers.net>
Thu, 10 Nov 2016 19:27:52 +0000 (20:27 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 10 Nov 2016 19:27:52 +0000 (20:27 +0100)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 5f88de6..960e90c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 CFLAGS:=-g
 CLEAN_HOME?=/opt/clean
 CLM:=clm
 CFLAGS:=-g
 CLEAN_HOME?=/opt/clean
 CLM:=clm
-CLMFLAGS+=-dynamics -l -no-pie -h 200M -t -nt -lat
+CLMFLAGS+=-dynamics -l -no-pie
 CLMLIBS:=\
        -I $(CLEAN_HOME)/lib/clean-platform/OS-Independent\
        -I $(CLEAN_HOME)/lib/clean-platform/OS-Independent/Deprecated/StdLib\
 CLMLIBS:=\
        -I $(CLEAN_HOME)/lib/clean-platform/OS-Independent\
        -I $(CLEAN_HOME)/lib/clean-platform/OS-Independent/Deprecated/StdLib\
Unnamed repository; edit this file 'description' to name the repository.