diff --git a/build.sh b/build.sh new file mode 100644 index 0000000..b0b1d74 --- /dev/null +++ b/build.sh @@ -0,0 +1,5 @@ +if null; do + make -f nothing +else + exit 1 +fi