1.1 --- a/test/Tools/isac/CLEANUP	Thu Mar 18 13:56:45 2021 +0100
     1.2 +++ b/test/Tools/isac/CLEANUP	Mon Mar 22 08:31:30 2021 +0100
     1.3 @@ -12,12 +12,14 @@
     1.4  rm *.orig~~
     1.5  rm *.orig~~~
     1.6  cd ADDTESTS
     1.7 +  echo "cd ADDTESTS was successful -----------------------------------------------------"
     1.8    rm *~
     1.9    rm #*
    1.10    rm .\#*
    1.11    rm *.tar*
    1.12    rm *.orig*
    1.13    cd accumulate-val
    1.14 +    echo "cd accumulate-val was successful -----------------------------------------------------"
    1.15      rm *~
    1.16      rm #*
    1.17      rm .\#*
    1.18 @@ -28,6 +30,7 @@
    1.19      rm *.orig~~~
    1.20      cd .. 
    1.21    cd course
    1.22 +    echo "cd course was successful -----------------------------------------------------"
    1.23      rm *~
    1.24      rm #*
    1.25      rm .\#*
    1.26 @@ -37,6 +40,7 @@
    1.27      rm *.orig~~
    1.28      rm *.orig~~~
    1.29      cd ml_quickstart
    1.30 +      echo "cd ml_quickstart was successful -----------------------------------------------------"
    1.31        rm *~
    1.32        rm #*
    1.33        rm .\#*
    1.34 @@ -47,6 +51,7 @@
    1.35        rm *.orig~~~
    1.36        cd .. 
    1.37      cd phst11
    1.38 +      echo "cd phst11 was successful -----------------------------------------------------"
    1.39        rm *~
    1.40        rm #*
    1.41        rm .\#*
    1.42 @@ -57,6 +62,7 @@
    1.43        rm *.orig~~~
    1.44        cd .. 
    1.45      cd SignalProcess
    1.46 +      echo "cd SignalProcess was successful -----------------------------------------------------"
    1.47        rm *~
    1.48        rm #*
    1.49        rm .\#*
    1.50 @@ -68,6 +74,7 @@
    1.51        cd .. 
    1.52      cd .. 
    1.53    cd file-depend
    1.54 +    echo "cd file-depend was successful -----------------------------------------------------"
    1.55      rm *~
    1.56      rm #*
    1.57      rm .\#*
    1.58 @@ -75,6 +82,7 @@
    1.59      rm *.orig*
    1.60      cd .. 
    1.61    cd libisabelle
    1.62 +    echo "cd libisabelle was successful -----------------------------------------------------"
    1.63      rm *~
    1.64      rm #*
    1.65      rm .\#*
    1.66 @@ -85,6 +93,7 @@
    1.67      rm *.orig~~~
    1.68      cd .. 
    1.69    cd test-depend
    1.70 +    echo "cd test-depend was successful -----------------------------------------------------"
    1.71      rm *~
    1.72      rm #*
    1.73      rm .\#*
    1.74 @@ -94,6 +103,7 @@
    1.75      rm *.orig~~
    1.76      rm *.orig~~~
    1.77      cd testdir1
    1.78 +      echo "cd testdir1 was successful -----------------------------------------------------"
    1.79        rm *~
    1.80        rm #*
    1.81        rm .\#*
    1.82 @@ -104,6 +114,7 @@
    1.83        rm *.orig~~~
    1.84        cd .. 
    1.85      cd testdirm
    1.86 +      echo "cd testdirm was successful -----------------------------------------------------"
    1.87        rm *~
    1.88        rm #*
    1.89        rm .\#*
    1.90 @@ -116,6 +127,7 @@
    1.91      cd .. 
    1.92    cd .. 
    1.93  cd Pure
    1.94 +  echo "cd Pure was successful -----------------------------------------------------"
    1.95    rm *~
    1.96    rm #*
    1.97    rm .\#*
    1.98 @@ -125,6 +137,7 @@
    1.99    rm *.orig~~
   1.100    rm *.orig~~~
   1.101    cd Isar
   1.102 +    echo "cd Isar was successful -----------------------------------------------------"
   1.103      rm *~
   1.104      rm #*
   1.105      rm .\#*
   1.106 @@ -136,6 +149,7 @@
   1.107      cd .. 
   1.108    cd .. 
   1.109  cd Minisubpbl
   1.110 +  echo "cd Minisubpbl was successful -----------------------------------------------------"
   1.111    rm #*
   1.112    rm .\#*
   1.113    rm *.tar*
   1.114 @@ -145,6 +159,7 @@
   1.115    rm *.orig~~~
   1.116    cd .. 
   1.117  cd OLDTESTS
   1.118 +  echo "cd OLDTESTS was successful -----------------------------------------------------"
   1.119    rm #*
   1.120    rm .\#*
   1.121    rm *.tar*
   1.122 @@ -301,6 +316,22 @@
   1.123    rm *.orig~~
   1.124    rm *.orig~~~
   1.125    cd .. 
   1.126 +cd BridgeJEdit
   1.127 +  echo "cd BridgeJEdit was successful ----------------------------------------------------"
   1.128 +  rm *.sml~
   1.129 +  rm *.sml~~
   1.130 +  rm *.sml~~~
   1.131 +  rm *.thy~
   1.132 +  rm *.thy~~
   1.133 +  rm *.thy~~~
   1.134 +  rm #*
   1.135 +  rm .\#*
   1.136 +  rm *.tar*
   1.137 +  rm *.orig
   1.138 +  rm *.orig~
   1.139 +  rm *.orig~~
   1.140 +  rm *.orig~~~
   1.141 +  cd .. 
   1.142  cd BridgeLibisabelle
   1.143    echo "cd BridgeLibisabelle was successful ----------------------------------------------------"
   1.144    rm *.sml~
   1.145 @@ -334,6 +365,7 @@
   1.146    rm *.tar*
   1.147    rm *.orig*
   1.148    cd Inverse_Z_Transform
   1.149 +    echo "cd Inverse_Z_Transform was successful -----------------------------------------------------------"
   1.150      rm *~
   1.151      rm #*
   1.152      rm .\#*