diff options
Diffstat (limited to 'build/clear.sh')
-rwxr-xr-x | build/clear.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/build/clear.sh b/build/clear.sh index 35178fe86..25acba0ad 100755 --- a/build/clear.sh +++ b/build/clear.sh @@ -5,5 +5,13 @@ manual_path="$(echo $basedir | sed "s:/build$::")" build_path="$manual_path/build" cd $build_path -rm -rf build.out -rm -rf build.tmp +if [ -z "$destdir" ]; then + destdir="build.out" +fi + +if [ -z "$tempdir" ]; then + tempdir="build.tmp" +fi + +rm -rf "$destdir" +rm -rf "$tempdir" |