From 2fbfb036eadc63db152b728814207729663485cb Mon Sep 17 00:00:00 2001 From: gumi Date: Mon, 6 May 2019 10:13:11 -0400 Subject: allow to choose makefile build mode on the test server --- herculeswrapper/include.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/herculeswrapper/include.sh b/herculeswrapper/include.sh index 697b7ea..17c8c0a 100644 --- a/herculeswrapper/include.sh +++ b/herculeswrapper/include.sh @@ -76,7 +76,7 @@ function pull_all { function build_all { cd ../server-code - ./build.sh 2>err.txt + ./build.sh $BUILD_MAP 2>err.txt cat err.txt cd ../server-data make updatedb -- cgit v1.2.3-70-g09d2