diff options
-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 set -x; git submodule update --init --recursive $@/; fi) | 128 | @a=$$(cd $@ && (exec 3>&1; exec >&2; if test -z "$$(git ls-files)"; then git reset; fi; git status -uno -s >&3)) && (if test -z "$$a"; then set -x; git submodule update --init --recursive $@/; fi) |
129 | $(MAKE) -C $@ $(cmd) | 129 | $(MAKE) -C $@ $(cmd) |
130 | 130 | ||
131 | submodules: build-submodules | 131 | submodules: build-submodules |