Move tests, fix test040
commit72b9990999b9f2cac441bcc557cbb4d2e195fca9
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 30 Jan 2014, 11:39 (13 years ago)
parent44fddda
idris.cabal+6
@@ -320,6 +320,12 @@ Extra-source-files:
320320 test/test037/run
321321 test/test037/expected
322322 test/test037/*.idr
323+ test/test039/run
324+ test/test039/expected
325+ test/test039/*.idr
326+ test/test040/run
327+ test/test040/expected
328+ test/test040/*.idr
323329
324330source-repository head
325331 type: git
test/test038/expected → test/test039/expectedrenamed
The content is the same.
test/test038/run → test/test039/runrenamed
The content is the same.
test/test038/test038.idr → test/test039/test038.idrrenamed
The content is the same.
test/test040/run+1−1
@@ -2,4 +2,4 @@
22idris $@ Main.idr --nocolour --check && echo MAIN-PASS
33idris $@ Faulty.idr --nocolour --check && echo FAULTY-PASS
44idris $@ Multiple.idr --nocolour --check && echo MULTIPLE-PASS
5−find -name \*.ibc -delete
5+rm -f *.ibc B/*.ibc