From d93c1e2c3ee0142e004fc1e15df53df04b6620f1 Mon Sep 17 00:00:00 2001 From: David Gonzalez Martin Date: Thu, 20 Mar 2025 19:54:39 +0100 Subject: [PATCH] Use binary directory --- build.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 7766c95..c76d7fc 100755 --- a/build.sh +++ b/build.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash set -eu -clang generate.c -o generate -std=gnu2x -g +mkdir -p bin +clang generate.c -o bin/generate -std=gnu2x -g rm -rf public || true -./generate +./bin/generate cp -r pdf public/pdf