#!/bin/sh
# build.sh — DF-0901 race harness build
# Builds the kernel module that reproduces the unlocked-traversal-vs-free race
cd "$(dirname "$0")"
echo "cc -DKERNEL -c race_harness.c" 
make 2>&1
echo "BUILD_EXIT=$?"
ls -l race_harness.ko 2>/dev/null