diff options
author | <mekolat@users.noreply.github.com> | 2016-08-09 11:02:14 -0400 |
---|---|---|
committer | <mekolat@users.noreply.github.com> | 2016-08-09 11:02:14 -0400 |
commit | 866c273c2b90117963eea65daf9eed89c14a64b3 (patch) | |
tree | 428265f642303cc56c4960ee27eda6713ebe6884 | |
parent | cc27846af7354486094774fc7b3305cad8e846f0 (diff) | |
download | tools-866c273c2b90117963eea65daf9eed89c14a64b3.tar.gz tools-866c273c2b90117963eea65daf9eed89c14a64b3.tar.bz2 tools-866c273c2b90117963eea65daf9eed89c14a64b3.tar.xz tools-866c273c2b90117963eea65daf9eed89c14a64b3.zip |
don't use a symlink in clean.sh
-rwxr-xr-x | localserver/clean.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/localserver/clean.sh b/localserver/clean.sh index 54bc805..fbd884b 100755 --- a/localserver/clean.sh +++ b/localserver/clean.sh @@ -1,6 +1,6 @@ #!/bin/bash -rm -rf ../../server-plugin/build/ -mkdir ../../server-plugin/build/ +rm -rf ../../server-code/src/evol/build/ +mkdir ../../server-code/src/evol/build/ cd ../../server-code/ make clean |