git.iko.soy/Idris-dev
on master help sign in
Set -O2 in rts
commit847ee50762c75c6e8fe0e9aea7d5ba49d3af9740 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 13 Sep 2012, 22:42 (14 years ago) parentf959008
1 file changed+1−1
compare with master
unifiedsplit
rts/Makefile+1−1
rts/Makefile+1−1
@@ -1,6 +1,6 @@
11OBJS = idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o
22HDRS = idris_rts.h idris_gc.h idris_gmp.h idris_stdfgn.h
3−CFLAGS = -g
3+CFLAGS = -O2
44
55LIBTARGET = libidris_rts.a
66