git.iko.soy/Idris-dev
on master help sign in
Set -O2 in rts
847ee50Edwin Brady
rts/Makefile+1−1
compare with master
unifiedsplit
@@ -1,6 +1,6 @@
1OBJS = idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o
1OBJS = idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o
2HDRS = idris_rts.h idris_gc.h idris_gmp.h idris_stdfgn.h
2HDRS = idris_rts.h idris_gc.h idris_gmp.h idris_stdfgn.h
3−CFLAGS = -g
3+CFLAGS = -O2
4
4
5LIBTARGET = libidris_rts.a
5LIBTARGET = libidris_rts.a
6
6