diff options
| author | gumi <git@gumi.ca> | 2019-05-06 10:13:11 -0400 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2019-05-06 10:13:11 -0400 |
| commit | 2fbfb036eadc63db152b728814207729663485cb (patch) | |
| tree | ff23a87701b2731fe104a450210b31936875b635 | |
| parent | fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45 (diff) | |
| download | evol-tools-s20190513.tar.gz evol-tools-s20190513.tar.bz2 evol-tools-s20190513.tar.xz evol-tools-s20190513.zip | |
allow to choose makefile build mode on the test servers20190513
| -rw-r--r-- | herculeswrapper/include.sh | 2 |
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 |