#!/bin/bash
DIR=`pwd`

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