2018-07-04 07:26:07 -04:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
pushd "$(dirname "$0")" > /dev/null
|
|
|
|
|
|
|
|
|
|
mkdir -p out
|
|
|
|
|
|
2018-07-06 06:59:14 -04:00
|
|
|
if [ "$1" = "--debug" ]; then
|
|
|
|
|
gcc --std=c11 -Wall -Wextra -Werror -O0 -g -o out/hyperbuild src/main/c/main.c
|
|
|
|
|
else
|
|
|
|
|
gcc --std=c11 -Wall -Wextra -Werror -O2 -o out/hyperbuild src/main/c/main.c
|
|
|
|
|
fi
|
2018-07-04 07:26:07 -04:00
|
|
|
|
|
|
|
|
popd > /dev/null
|
|
|
|
|
|
|
|
|
|
exit 0
|
