From 5473aeba62d4b9ea2346ae4ab57a11ddd2bf88a7 Mon Sep 17 00:00:00 2001 From: Rampoina Date: Thu, 14 Apr 2022 17:17:15 +0200 Subject: [PATCH] Fix Makefile --- Makefile | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) diff --git a/Makefile b/Makefile index 3cf4211..5c59453 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,12 @@ -.PHONY: check-and-reinit-submodules -check-and-reinit-submodules: - @if git submodule status | egrep -q '^[-]|^[+]' ; then \ - echo "INFO: reinitializing git submodules"; \ - git submodule update --init; \ - fi -all: +.PHONY: check-and-reinit-submodules all +all: .check-and-reinit-submodules @${MAKE} -C CBQN/ -run: + +run: 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