blob: d1a51a845f60f227afa43e95c37b405f68c8631a [file] [log] [blame]
#!/usr/bin/env bash
set -e
function raise()
{
kill -$1 0
}
trap "raise SIGINT" SIGINT
make $1