#!/bin/sh
# DF-5335 build
set -e
cd "$(dirname "$0")"
cc -o /tmp/iretbug /tmp/iretbug.c -Wall && cc -o /tmp/t8 /tmp/t8.c -Wall   (on guest, unprivileged user)