Add test033/run, test034/run to cabal file
commita9f9b0503882dabd91c8d1ededcf42c846d638e6
authorMarkus Pfeiffer <markusp@mcs.st-andrews.ac.uk>
dateWed 20 Nov 2013, 10:11 (13 years ago)
parentabf234d
idris.cabal+2
@@ -274,8 +274,10 @@ Extra-source-files:
274274 test/test032/*.idr
275275 test/test032/input
276276 test/test032/expected
277+ test/test033/run
277278 test/test033/*.idr
278279 test/test033/expected
280+ test/test034/run
279281 test/test034/expected
280282
281283source-repository head