1 files changed, 0 insertions, 18 deletions
diff --git a/build.sh b/build.sh
deleted file mode 100755
index b69687c..0000000
--- a/build.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#! /bin/bash
-set -e
-
-mkdir -p build
-
-if [ -f "/usr/bin/ninja" ] ; then
-  EXTRA_ARGS="-G Ninja"
-  BUILD_COMMAND="ninja"
-else
-  BUILD_COMMAND="make"
-fi
-
-echo "Using $BUILD_COMMAND to build"
-(
-  cd build
-  cmake .. $EXTRA_ARGS -DCMAKE_INSTALL_PREFIX=../../install -DCMAKE_BUILD_TYPE=Debug
-  $BUILD_COMMAND
-)