#!/bin/sh
# DF-3131 build (see README.md; host/guest split noted inline)
set -e
cd "$(dirname "$0")"
guest: cc -O -o race2 race2.c -lpthread