diff options
author | dweller <dweller@cabin.digital> | 2025-03-26 17:31:51 +0200 |
---|---|---|
committer | dweller <dweller@cabin.digital> | 2025-03-26 17:31:51 +0200 |
commit | 76d89eb9973671726dc7fffaf22b06a7a77be550 (patch) | |
tree | c0c3c6fb20d905b8f9b3bde2c1546d481b66e280 /build/x11 | |
parent | 5bf658d3a940e536e232d8fcd6e2ae431e5afdd7 (diff) |
build ''system''; decode metaprog; disasm
Diffstat (limited to 'build/x11')
-rwxr-xr-x | build/x11 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/build/x11 b/build/x11 new file mode 100755 index 0000000..a383438 --- /dev/null +++ b/build/x11 @@ -0,0 +1,14 @@ +#!/bin/sh -e + +bench() +{ + if [ x = "x$(which time)" ]; then + $@ + echo "time not installed" + else + time $@ + fi +} + +>&2 bench cc -std=c89 -Wall -Wextra sources/main.c -static -o artifacts/xip-8 +>&2 echo "------------------------------------------------\n" |