delete unused build.sh

2024-09-25 10:59:30 +00:00 · 2024-09-25 10:59:30 +00:00 · e9c26bab8b
commit e9c26bab8b
parent c28ef32fad
1 changed files with 0 additions and 13 deletions
--- a/build.sh
+++ b/build.sh
@ -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}