1 2 3 4 5 6
#!/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"