#!/bin/sh
# DF-0595 — build the timing-channel demonstration.
set -e
cd "$(dirname "$0")"
cc -O2 -o mic_timing_demo mic_timing_demo.c
echo "built: mic_timing_demo"
