From b41ec911812e66931f01939378979845716b6119 Mon Sep 17 00:00:00 2001 From: dweller Date: Fri, 28 Mar 2025 19:52:47 +0200 Subject: experimenting with UI --- build/x11 | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 build/x11 (limited to 'build') 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" -- cgit v1.2.3