diff options
| author | Andrew Cady <d@jerkface.net> | 2020-08-23 09:03:17 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2020-08-23 09:03:17 -0400 |
| commit | 1261329208f6ddd1136db17cefe60a8cfc5dc4b4 (patch) | |
| tree | 55d308274016c77f9a4f2271e02cae2e0a8a7bcb | |
| parent | afd8f44f4619f3db311881be98f9199996e57533 (diff) | |
Makefile output tweak
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -125,7 +125,7 @@ include user.mk | |||
| 125 | 125 | ||
| 126 | .PHONY: submodules build-submodules $(SUBMODULES) | 126 | .PHONY: submodules build-submodules $(SUBMODULES) |
| 127 | $(SUBMODULES): stack | 127 | $(SUBMODULES): stack |
| 128 | a=$$(cd $@ && git status -uno -s) && (if test -z "$$a"; then git submodule update --init $@/; fi) | 128 | @a=$$(cd $@ && git status -uno -s) && (if test -z "$$a"; then set -x; git submodule update --init $@/; fi) |
| 129 | $(MAKE) -C $@ $(cmd) | 129 | $(MAKE) -C $@ $(cmd) |
| 130 | 130 | ||
| 131 | submodules: build-submodules | 131 | submodules: build-submodules |