benchmarks/verifycompilesat

   1 #!/bin/bash
   2 # note: should do something about seqlock, which is .cc not .c
   3 for c in dekker linuxlock linuxrwlock msqueueoffset ; do (. satcheck/$c/benchmark-config.sh; diff -u satcheck-precompiled/$c/$NAME.c satcheck/$c/$NAME.c) done
   4 for c in seqlock ; do (. satcheck/$c/benchmark-config.sh; diff -u satcheck-precompiled/$c/$NAME.cc satcheck/$c/$NAME.cc) done