Merge branch 'master' of github.com:edwinb/Idris-dev
commit5c09acdb661789ecc7138227cf63e520a3ab33a4
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateMon 14 May 2012, 19:20 (14 years ago)
parent67756bc1d58332
support/Makefile+2−2
@@ -1,5 +1,5 @@
1−OBJS = network.o threads.o testidr.o
2−HDRS = network.h threads.h testidr.h
1+OBJS = network.o testidr.o
2+HDRS = network.h testidr.h
33
44CFLAGS = `epic -includedirs`
55