X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=Makefile;h=19f9a2c06900c5835fae6d256ff91d83437dbdc3;hp=a732cb763ad7a8dcf1ef9900ac4473921000163c;hb=2e343f1ee60e801cb17ef75fb915f44a389eb6c7;hpb=c451049894af068c8ba22011e3094e66a45d20c3

diff --git a/Makefile b/Makefile
index a732cb76..19f9a2c0 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,6 @@ SHARED = -shared
 
 # Mac OSX options
 ifeq ($(UNAME), Darwin)
-CPPFLAGS += -D_XOPEN_SOURCE -DMAC
 LDFLAGS = -ldl
 SHARED = -Wl,-undefined,dynamic_lookup -dynamiclib
 endif
@@ -32,6 +31,7 @@ include $(DEPS)
 debug: CPPFLAGS += -DCONFIG_DEBUG
 debug: all
 
+PHONY += docs
 docs: *.c *.cc *.h
 	doxygen