diff options
Diffstat (limited to 'src/3')
| -rw-r--r-- | src/3/build.mk | 4 |
1 files changed, 2 insertions, 2 deletions
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 |