[cvs-nhc98] patch applied (nhc98): remove the --strip option from
cpphs when preprocessing for nhc98
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Mon Jun 25 05:53:20 EDT 2007
Mon Jun 25 02:51:35 PDT 2007 Malcolm.Wallace at cs.york.ac.uk
* remove the --strip option from cpphs when preprocessing for nhc98
M ./script/nhc98.inst -1 +1
More information about the Cvs-nhc98
mailing list