diff options
Diffstat (limited to 'testsuite/makefiles/Makefile.one')
| -rw-r--r-- | testsuite/makefiles/Makefile.one | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/makefiles/Makefile.one b/testsuite/makefiles/Makefile.one index 16d02e8e33..9f95b3656d 100644 --- a/testsuite/makefiles/Makefile.one +++ b/testsuite/makefiles/Makefile.one @@ -27,13 +27,14 @@ GENERATED_SOURCES=$(ML_LEX_FILES) $(ML_YACC_FILES) $(MLI_YACC_FILES) CUSTOM_FLAG=`if [ -n "$(C_FILES)" ]; then echo '-custom'; fi` ADD_CFLAGS+=$(CUSTOM_FLAG) -MYRUNTIME=`if [ -z "$(C_FILES)" ]; then echo '$(OCAMLRUN)'; fi` +MYRUNTIME=`if [ -z "$(C_FILES)$(CUSTOM)" ]; then echo '$(OCAMLRUN)'; fi` CC=$(NATIVECC) $(NATIVECCCOMPOPTS) .PHONY: default default: - @$(SET_LD_PATH) $(MAKE) compile run + @$(MAKE) compile + @$(SET_LD_PATH) $(MAKE) run .PHONY: compile compile: $(ML_FILES) $(CMO_FILES) $(MAIN_MODULE).cmo |