diff options
-rwxr-xr-x | build/tools/dev-cleanup.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/tools/dev-cleanup.sh b/build/tools/dev-cleanup.sh index 72609850f..0ce9985c6 100755 --- a/build/tools/dev-cleanup.sh +++ b/build/tools/dev-cleanup.sh @@ -47,6 +47,9 @@ rm -rf $DIR/$GCCUNWIND_SUBDIR/libs rm -rf $DIR/$LIBCXX_SUBDIR/libs rm -rf $DIR/$SUPPORT_SUBDIR/libs +# Remove the temp directory. +rm -rf $TMPDIR + clean_dir () { if [ -d "$1" ] ; then |