diff man/Makefile @ 4424:42711a251efd

Look for all x86 machines to determine which write barrier to use on MacOSX.
author Marcus Crestani <crestani@informatik.uni-tuebingen.de>
date Fri, 15 Feb 2008 13:11:56 +0100
parents e358b6c40407
children bd3e7db3bdf6 e82f5b7010fe
line wrap: on
line diff