Skip to content

Commit

Permalink
testsuite/Makefile: support ocamltest in 'promote' target
Browse files Browse the repository at this point in the history
  • Loading branch information
gasche committed Feb 2, 2018
1 parent b5a3279 commit 1ecc5a2
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion testsuite/Makefile
Expand Up @@ -238,7 +238,13 @@ promote:
echo "Directory '$(DIR)' does not exist."; \
exit 1; \
fi
@cd $(DIR) && $(MAKE) TERM=dumb BASEDIR=$(BASEDIR) promote
@if [ -f $(DIR)/ocamltests ]; then \
$(MAKE) exec-ocamltest DIR=$(DIR) \
OCAMLTESTENV="OCAMLTESTDIR=$(BASEDIR)/$(DIR)/_ocamltest" \
OCAMLTESTFLAGS="-promote"; \
else \
cd $(DIR) && $(MAKE) TERM=dumb BASEDIR=$(BASEDIR) promote; \
fi

.PHONY: lib
lib:
Expand Down

0 comments on commit 1ecc5a2

Please sign in to comment.