diff options
Diffstat (limited to 'build/x11')
-rwxr-xr-x | build/x11 | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/build/x11 b/build/x11 deleted file mode 100755 index cae1518..0000000 --- a/build/x11 +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh -e - -CC=${CC:-musl-gcc} -STATIC=${STATIC:-"-static"} -CFLAGS=" \ - -std=c89 \ - -Wall -Wextra -Wno-comment \ - -ggdb -Og \ -" - -bench() -{ - if [ x = "x$(which time 2>/dev/null)" ]; then - $@ - echo "time not installed" - else - time $@ - fi -} - -mkdir -p artifacts ->&2 bench $CC $CFLAGS sources/main.c $STATIC -o artifacts/xip-8 ->&2 echo "------------------------------------------------\n" |