@@ -236,9 +236,9 @@ Extra-source-files:
236 test/basic009/expected
236 test/basic009/expected
237 test/basic009/B/*.idr
237 test/basic009/B/*.idr
239− test/buffer001/*.idr
239+ test/buffer001-disabled/*.idr
240− test/buffer001/run
240+ test/buffer001-disabled/run
241− test/buffer001/expected
241+ test/buffer001-disabled/expected
243 test/dsl001/run
243 test/dsl001/run
244 test/dsl001/*.idr
244 test/dsl001/*.idr