X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FMakefile;h=a3de6fe9e7c1030d4d783cc3d5880606ddd9140f;hb=842999a974209b3cb0ae776a9e86eb390e8a919d;hp=87893243ce83e32f9e27331ec8620de14c6bce2d;hpb=0217e321ae9bb43b3e629fdb400d6f1c41fb75f0;p=model-checker.git

diff --git a/test/Makefile b/test/Makefile
index 8789324..a3de6fe 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -2,11 +2,6 @@ include ../common.mk
 
 CPPFLAGS += -I.. -I../include
 
-# Mac OSX options
-ifeq ($(UNAME), Darwin)
-CPPFLAGS += -D_XOPEN_SOURCE -DMAC
-endif
-
 SRCS = $(wildcard *.c)
 CPSRCS = $(wildcard *.cc)
 OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))