remove test/pending directory too

it will all stay right there in the Git history to be consulted
anytime we want...

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