From cdc973d04fd3af82159abe2c8e5473152d97fbeb Mon Sep 17 00:00:00 2001
From: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
Date: Tue, 2 Nov 2021 22:21:09 +0100
Subject: build.sh: Drop file. Not needed here.

---
 build.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 build.sh

(limited to 'build.sh')

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
-)
-- 
cgit v1.2.3