diff options
| -rw-r--r-- | testsuite/tests/tool-debugger/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/testsuite/tests/tool-debugger/Makefile b/testsuite/tests/tool-debugger/Makefile index 1f1fc3386..f95b4803b 100644 --- a/testsuite/tests/tool-debugger/Makefile +++ b/testsuite/tests/tool-debugger/Makefile @@ -17,8 +17,12 @@ LD_PATH=$(TOPDIR)/otherlibs/$(UNIXLIBVAR)unix .PHONY: default default: - @$(MAKE) compile - @$(SET_LD_PATH) OCAMLLIB=. $(MAKE) run + @if ! $(SUPPORTS_SHARED_LIBRARIES); then \ + echo 'skipped (shared libraries not available)'; \ + else \ + $(MAKE) compile; \ + $(SET_LD_PATH) OCAMLLIB=. $(MAKE) run; \ + fi .PHONY: compile compile: $(ML_FILES) $(CMO_FILES) $(MAIN_MODULE).cmo |