From e9c26bab8b28c3a62b47b2efbc7202f0ec5e3991 Mon Sep 17 00:00:00 2001
From: tylen <tylen@vm-personal.com>
Date: Wed, 25 Sep 2024 10:59:30 +0000
Subject: [PATCH] delete unused build.sh

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

diff --git a/build.sh b/build.sh
deleted file mode 100755
index dc919c6..0000000
--- a/build.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#! /bin/sh
-
-set -xe
-
-CC="gcc"
-FLAGS="-Wall -ggdb"
-SRCS="$(find ./src -type f -name "*.c")"
-CURRENT_DIR="$(git rev-parse --show-toplevel)"
-BUILD_DIR="${CURRENT_DIR}/build"
-
-mkdir -p ${BUILD_DIR}
-
-${CC} ${FLAGS} -o ${BUILD_DIR}/cdo ${SRCS}