Add interactive006 in Extra-source-files
commitf10fcd2db1d36aa05432c4e4faa79781f9c0b51e
authorSebastian de Bellefon <arnaudpourseb@gmail.com>
dateSun 28 Sep 2014, 14:26 (12 years ago)
parent4fd6bc6
idris.cabal+4
@@ -392,6 +392,10 @@ Extra-source-files:
392392 test/interactive005/input
393393 test/interactive005/*.idr
394394 test/interactive005/expected
395+ test/interactive006/run
396+ test/interactive006/input
397+ test/interactive006/*.idr
398+ test/interactive006/expected
395399
396400 test/io001/run
397401 test/io001/*.idr