diff options
author | John Cai <jcai@gitlab.com> | 2019-01-17 19:43:15 +0300 |
---|---|---|
committer | John Cai <jcai@gitlab.com> | 2019-01-17 19:43:15 +0300 |
commit | cb94c2b97427357f30678ce7164bb51250546d93 (patch) | |
tree | 2db93837ba5427ebe4b8256563e1935de64d5155 /Makefile | |
parent | be97ae4d2760e1065cbcd1fb66f37100b45699f0 (diff) | |
parent | 83a0c7b826280c7d9d09d0c5826a67c82cfd3016 (diff) |
Merge branch 'vendor-gitlab-shell-20190111' into 'master'
Vendor gitlab-shell at 6c5b195353a632095d7f6
See merge request gitlab-org/gitaly!1037
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -47,6 +47,10 @@ test: prepare-build rspec: prepare-build cd $(BUILD_DIR) && $(MAKE) $@ +.PHONY: rspec-gitlab-shell +rspec-gitlab-shell: prepare-build + cd $(BUILD_DIR) && $(MAKE) $@ + .PHONY: verify verify: prepare-build cd $(BUILD_DIR) && $(MAKE) $@ |