diff options
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..8307dfe --- /dev/null +++ b/build.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +set -e + +this_script_path=$(readlink -f "$0") +this_script_dir=$(dirname "$this_script_path") +source_files=$(readlink -f "$this_script_dir/src/"*) + +if [ -z "$CC" ]; then + CC=cc +fi + +CFLAGS="-Wall -Wextra -Werror -g -O0 -DDEBUG -std=c89 -pedantic" +LIBS="-pthread" + +set -x +time "$CC" $source_files $CFLAGS $LIBS -o amalgam |