diff --git a/build.sh b/build.sh deleted file mode 100644 index 459e85f..0000000 --- a/build.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -make - -if [ "$1" == "debug" ]; then - ./out/why2 -fi \ No newline at end of file