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 /localserver/build.sh | |
| parent | 8e466279958a6daa9c611f1a76f64e4304eb2484 (diff) | |
| download | tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.tar.gz tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.tar.bz2 tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.tar.xz tools-70bb96cbdc8a8697fe9eed322dafdf718873e207.zip | |
localserver: clean plugin build dir by removing it and not by make clean.
This can remove some errors on first run.
Diffstat (limited to 'localserver/build.sh')
| -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 |