diff --git a/tools/getsource.sh b/tools/getsource.sh index 9da22de..8619a79 100755 --- a/tools/getsource.sh +++ b/tools/getsource.sh @@ -156,4 +156,4 @@ fi ################################## -rm -rf ./{"${INPUT}".1,*trunk*} 2>/dev/null +rm -rf ./{"${INPUT}"*.1,*trunk*} 2>/dev/null