diff --git a/resources/make/common.mk b/resources/make/common.mk index cbd99d3..9a67212 100644 --- a/resources/make/common.mk +++ b/resources/make/common.mk @@ -110,7 +110,7 @@ check-all: get-deps clean-eunit compile-no-deps check: check-unit-with-deps -check-travis: $(LFETOOL) check +check-travis: $(BIN_DIR)/lfetool check push-all: @echo "Pusing code to github ..."