Add missing tests to Cabal file
commit037b4a4b4fa13891c5584bf8fbe271893476be09
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 10 Jan 2014, 15:01 (13 years ago)
parentfe48535
idris.cabal+6
@@ -303,6 +303,12 @@ Extra-source-files:
303303 test/test035/run
304304 test/test035/expected
305305 test/test035/*.idr
306+ test/test036/run
307+ test/test036/expected
308+ test/test036/*.idr
309+ test/test037/run
310+ test/test037/expected
311+ test/test037/*.idr
306312
307313source-repository head
308314 type: git