Fix makefile, set default nesting to 2
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 26 Feb 2009 23:13:46 +0000 (18:13 -0500)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 26 Feb 2009 23:13:46 +0000 (18:13 -0500)
commitd4e437ba8e99a9cd38c4ccb1c243427935c8f293
tree5efc47df371f312c90c2c2dc89622b927e7f1410
parent3eecaef8f1728a724a9168056bbd059f55c5023f
Fix makefile, set default nesting to 2

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/urcu/Makefile
formal-model/urcu/urcu.spin
This page took 0.024255 seconds and 4 git commands to generate.