fix compile errors on OS X
[model-checker-benchmarks.git] / treiber-stack / Makefile
2014-09-03 Peizhao Ouadd treiber stack