diff options
| -rw-r--r-- | otherlibs/threads/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 39affea9a..e10197af4 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -2,7 +2,7 @@ include ../../config/Makefile # Compilation options CC=$(BYTECC) -CFLAGS=-I../../byterun -O $(BYTECCCOMPOPTS) +CFLAGS=-I$(PTHREADS_INCLUDES) -I../../byterun -O $(BYTECCCOMPOPTS) CAMLC=../../boot/cslrun ../../boot/cslc -I ../../boot -I ../unix C_OBJS=threadstubs.o |