diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/Makefile.nt | 2 | ||||
| -rw-r--r-- | stdlib/headernt.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index f29a583de..16b20142e 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -55,7 +55,7 @@ stdlib.cmxa: $(OBJS:.cmo=.cmx) $(CAMLOPT) -a -o stdlib.cmxa $(OBJS:.cmo=.cmx) camlheader camlheader_ur: headernt.c ../config/Makefile - $(call MKEXE,tmpheader.exe,$(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) headernt.c $(EXTRALIBS)) + $(call MKEXE,tmpheader.exe,-I../byterun $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) headernt.c $(EXTRALIBS)) rm -f camlheader.exe mv tmpheader.exe camlheader cp camlheader camlheader_ur diff --git a/stdlib/headernt.c b/stdlib/headernt.c index 9c723bcc9..c8d23ee25 100644 --- a/stdlib/headernt.c +++ b/stdlib/headernt.c @@ -17,8 +17,8 @@ #define WIN32_LEAN_AND_MEAN #include <windows.h> -#include "../byterun/mlvalues.h" -#include "../byterun/exec.h" +#include "mlvalues.h" +#include "exec.h" #ifndef __MINGW32__ #pragma comment(linker , "/entry:headerentry") |