diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-06-19 01:32:29 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2016-06-19 01:32:29 +0300 |
commit | 70bb96cbdc8a8697fe9eed322dafdf718873e207 (patch) | |
tree | 25c173083ad6704a3e6f3376321af46fefa2004d | |
parent | 8e466279958a6daa9c611f1a76f64e4304eb2484 (diff) | |
download | evol-tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.tar.gz evol-tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.tar.bz2 evol-tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.tar.xz evol-tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.zip |
localserver: clean plugin build dir by removing it and not by make clean.
This can remove some errors on first run.
-rwxr-xr-x | localserver/build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/localserver/build.sh b/localserver/build.sh index 90fc848..a756441 100755 --- a/localserver/build.sh +++ b/localserver/build.sh @@ -1,8 +1,8 @@ #!/bin/bash export DIR=`pwd` -cd ../../server-plugin/build/ -make clean +rm -rf ../../server-plugin/build/ +mkdir ../../server-plugin/build/ cd ${DIR}/../../server-code/ make clean ./build.sh old |