Browse Source

getsource.sh: remove all temp files

master
Pekka Helenius 5 years ago
committed by GitHub
parent
commit
6627d376ca
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
  1. +3
    -1
      tools/getsource.sh

+ 3
- 1
tools/getsource.sh View File

@ -41,6 +41,8 @@ else
fi fi
fi fi
INPUT="${CURDIR}"
################################## ##################################
function check_database() { function check_database() {
@ -154,4 +156,4 @@ fi
################################## ##################################
rm -Rf ./{,*trunk*} 2>/dev/null
rm -rf ./{"${INPUT}".1,*trunk*} 2>/dev/null

Loading…
Cancel
Save