Merge branch 'master' of github.com:edwinb/Idris-dev

idris-lang · May 14, 2012 · 5c09acd · 5c09acd
2 parents 67756bc + 1d58332
commit 5c09acd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/support/Makefile b/support/Makefile
@@ -1,5 +1,5 @@
-OBJS = network.o threads.o testidr.o
-HDRS = network.h threads.h testidr.h
+OBJS = network.o testidr.o
+HDRS = network.h testidr.h
 
 CFLAGS = `epic -includedirs`