Fix Makefile
This commit is contained in:
parent
8e47307c42
commit
5473aeba62
18
Makefile
18
Makefile
|
@ -1,10 +1,12 @@
|
||||||
.PHONY: check-and-reinit-submodules
|
.PHONY: check-and-reinit-submodules all
|
||||||
check-and-reinit-submodules:
|
all: .check-and-reinit-submodules
|
||||||
@if git submodule status | egrep -q '^[-]|^[+]' ; then \
|
|
||||||
echo "INFO: reinitializing git submodules"; \
|
|
||||||
git submodule update --init; \
|
|
||||||
fi
|
|
||||||
all:
|
|
||||||
@${MAKE} -C CBQN/
|
@${MAKE} -C CBQN/
|
||||||
run:
|
|
||||||
|
run: soko.bqn
|
||||||
./CBQN/BQN soko.bqn
|
./CBQN/BQN soko.bqn
|
||||||
|
|
||||||
|
.check-and-reinit-submodules:
|
||||||
|
@if git submodule status | egrep -q '^[-]|^[+]' ; then \
|
||||||
|
echo "INFO: reinitializing git submodules"; \
|
||||||
|
git submodule update --init; \
|
||||||
|
fi
|
||||||
|
|
Loading…
Reference in New Issue