Temporarily disable buffer001 test
Seems to have a problem on 32 bit machines? Or at least, segfaults
inexplicably on some machines.
commitec57557099255d378cccf29f6260a884bfbfbef9
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 1 Feb 2014, 20:36 (13 years ago)
parentcc13ebc
test/buffer001/buffer001.idr → test/buffer001-disabled/buffer001.idrrenamed
The content is the same.
test/buffer001/expected → test/buffer001-disabled/expectedrenamed
The content is the same.
test/buffer001/run → test/buffer001-disabled/runrenamed
The content is the same.