diff options
Diffstat (limited to 'tools/rm-orphan-checkfiles')
| -rwxr-xr-x | tools/rm-orphan-checkfiles | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/rm-orphan-checkfiles b/tools/rm-orphan-checkfiles index ca0a3f2938..5bf95dda0a 100755 --- a/tools/rm-orphan-checkfiles +++ b/tools/rm-orphan-checkfiles @@ -6,13 +6,13 @@ shopt -s nullglob echo "Scanning for orphan check files..." -for f in $(ls -1d test/{files,pending,disabled}/{jvm,neg,pos,run}/*.check); do +for f in $(ls -1d test/files/{jvm,neg,pos,run}/*.check); do base=${f%%.check} [[ -d $base ]] || [[ -f $base.scala ]] || git rm -f $f done echo "Scanning for orphan flags files..." -for f in $(ls -1d test/{files,pending,disabled}/{jvm,neg,pos,run}/*.flags); do +for f in $(ls -1d test/files/{jvm,neg,pos,run}/*.flags); do base=${f%%.flags} [[ -d $base ]] || [[ -f $base.scala ]] || git rm -f $f done |