diff options
author | Jacob Vosmaer <jacob@gitlab.com> | 2019-08-08 00:06:54 +0300 |
---|---|---|
committer | John Cai <jcai@gitlab.com> | 2019-08-08 00:06:54 +0300 |
commit | d3d1bc065b03113c6f6e44d980f26c734948f347 (patch) | |
tree | 4ee0c78fc44e76fe87a24cddedb7a5b2d9e59e2f /Makefile | |
parent | 286e16e2963d42d36a3d55265052589b0a450de6 (diff) |
Only do smoke test during release
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -96,6 +96,10 @@ proto: prepare-build no-changes: prepare-build cd $(BUILD_DIR) && $(MAKE) $@ +.PHONY: smoke-test +smoke-test: prepare-build + cd $(BUILD_DIR) && $(MAKE) $@ + .PHONY: prepare-build prepare-build: $(BUILD_DIR)/.ok update-makefile $(BUILD_DIR)/.ok: |