diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/2/build.mk | 4 | ||||
| -rw-r--r-- | src/3/build.mk | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/2/build.mk b/src/2/build.mk index 305e398..f53646f 100644 --- a/src/2/build.mk +++ b/src/2/build.mk @@ -40,5 +40,5 @@ install-run: done install: - [ -d src/build/ ] && $(MAKE) -f $0 install-build - [ -d src/run/ ] && $(MAKE) -f $0 install-run + if [ -d src/build/ ]; then $(MAKE) -f $0 install-build; fi + if [ -d src/run/ ]; then $(MAKE) -f $0 install-run ; fi diff --git a/src/3/build.mk b/src/3/build.mk index 65d177d..2d23d3d 100644 --- a/src/3/build.mk +++ b/src/3/build.mk @@ -36,5 +36,5 @@ install-run: done install: - [ -d src/build/ ] && $(MAKE) -f $0 install-build - [ -d src/run/ ] && $(MAKE) -f $0 install-run + if [ -d src/build/ ]; then $(MAKE) -f $0 install-build; fi + if [ -d src/run/ ]; then $(MAKE) -f $0 install-run ; fi |