diff options
Diffstat (limited to 'testsuite/tests/lib-dynlink-bytecode/Makefile')
| -rw-r--r-- | testsuite/tests/lib-dynlink-bytecode/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/tests/lib-dynlink-bytecode/Makefile b/testsuite/tests/lib-dynlink-bytecode/Makefile index 74f27b9f52..832e367ee6 100644 --- a/testsuite/tests/lib-dynlink-bytecode/Makefile +++ b/testsuite/tests/lib-dynlink-bytecode/Makefile @@ -17,7 +17,11 @@ LD_PATH=.:$(TOPDIR)/otherlibs/dynlink .PHONY: default default: - @$(SET_LD_PATH) $(MAKE) compile run + @if ! $(SUPPORTS_SHARED_LIBRARIES); then \ + echo 'skipped (shared libraries not available)'; \ + else \ + $(SET_LD_PATH) $(MAKE) compile run; \ + fi .PHONY: compile compile: caml |