diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,4 +1,4 @@ -.PHONY: test +SHELL := bash PINNED_COMMITS := $(shell ./bin/pin) @@ -13,6 +13,7 @@ help: @echo 'clean - Remove generated files' @echo 'help - Show help' +.PHONY: test test: data code prove -lv test |