diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..4ce5d00 --- /dev/null +++ b/build.sh @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +function build() { + cd gdextension || exit + scons -j 12 + return 1 +} + +function build_db() { + cd gdextension || exit + scons --clean + bear -- scons -j 12 + ln -s compile_commands.json ../ + return 1 +} + +while getopts "bdh:" flag; do + case "$flag" in + d) build_db ;; + b) build ;; + h) echo "Use -b for build or -d for generating a compile_commands.json" ;; + ?) + echo "script usage: $(basename \$0) [-b] [-d] [-h]" >&2 + exit 1 + ;; + esac +done diff --git a/buildGDExtension.sh b/buildGDExtension.sh deleted file mode 100755 index 224640a..0000000 --- a/buildGDExtension.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env bash - -cd gdextension || exit -scons -j 12