Fix TSO Bugs

[satcheck.git] / benchmarks / compilesat

#!/bin/bash
DIR=`pwd`

for i in dekker linuxlock linuxrwlock msqueueoffset seqlock
do
(cd satcheck/$i; ./compile.sh )
done