Disable buffer001 test properly...
commit5775f8417d1a11fc81374cad9f202cd22ac16a9d
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 1 Feb 2014, 23:03 (13 years ago)
parent9e350ac
idris.cabal+3−3
@@ -236,9 +236,9 @@ Extra-source-files:
236236 test/basic009/expected
237237 test/basic009/B/*.idr
238238
239− test/buffer001/*.idr
240− test/buffer001/run
241− test/buffer001/expected
239+ test/buffer001-disabled/*.idr
240+ test/buffer001-disabled/run
241+ test/buffer001-disabled/expected
242242
243243 test/dsl001/run
244244 test/dsl001/*.idr