diff options
author | wushin <pasekei@gmail.com> | 2016-12-07 10:22:50 -0600 |
---|---|---|
committer | wushin <pasekei@gmail.com> | 2016-12-07 10:51:28 -0600 |
commit | 1509d6f4d0f2a3024fd7c495b26fa96f4e82f9c9 (patch) | |
tree | b661585514be662d4954321f1a3c727c23bc8e6a /herculeswrapper | |
parent | 4cef62da36c6e5f434107211b92f810940a6945f (diff) | |
download | evol-tools-1509d6f4d0f2a3024fd7c495b26fa96f4e82f9c9.tar.gz evol-tools-1509d6f4d0f2a3024fd7c495b26fa96f4e82f9c9.tar.bz2 evol-tools-1509d6f4d0f2a3024fd7c495b26fa96f4e82f9c9.tar.xz evol-tools-1509d6f4d0f2a3024fd7c495b26fa96f4e82f9c9.zip |
make maps after merge so nothing is forgotten.
Diffstat (limited to 'herculeswrapper')
-rw-r--r-- | herculeswrapper/include.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/herculeswrapper/include.sh b/herculeswrapper/include.sh index 9aa891c..753f40c 100644 --- a/herculeswrapper/include.sh +++ b/herculeswrapper/include.sh @@ -83,6 +83,7 @@ function pull_all { cd ../ ./status.sh cd server-data + make maps } function build_all { |