#!/bin/sh
# DF-2561 PoC build script.
# Builds all three variants of the race-stress PoC.
set -e
cd "$(dirname "$0")"
echo "+ cc -O2 -o df2561 df2561.c -lpthread"
cc -O2 -o df2561 df2561.c -lpthread
echo "+ cc -O2 -o df2561b df2561b.c -lpthread"
cc -O2 -o df2561b df2561b.c -lpthread
echo "+ cc -O2 -o df2561c df2561c.c -lpthread"
cc -O2 -o df2561c df2561c.c -lpthread
echo "BUILD_OK"
ls -l df2561 df2561b df2561c