summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgumi <git@gumi.ca>2019-05-06 10:13:11 -0400
committergumi <git@gumi.ca>2019-05-06 10:13:11 -0400
commit2fbfb036eadc63db152b728814207729663485cb (patch)
treeff23a87701b2731fe104a450210b31936875b635
parentfa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45 (diff)
downloadevol-tools-2fbfb036eadc63db152b728814207729663485cb.tar.gz
evol-tools-2fbfb036eadc63db152b728814207729663485cb.tar.bz2
evol-tools-2fbfb036eadc63db152b728814207729663485cb.tar.xz
evol-tools-2fbfb036eadc63db152b728814207729663485cb.zip
allow to choose makefile build mode on the test servers20190513
-rw-r--r--herculeswrapper/include.sh2
1 files changed, 1 insertions, 1 deletions
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