From 59c7a90fae440b86a18560d55e9dca5d6c45d3cc Mon Sep 17 00:00:00 2001
From: Raymaekers Luca <luca@spacehb.net>
Date: Sun, 12 Oct 2025 15:20:31 +0200
Subject: checkpoint

---
 code/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'code/build.sh')

diff --git a/code/build.sh b/code/build.sh
index f892d39..e3aa269 100755
--- a/code/build.sh
+++ b/code/build.sh
@@ -72,7 +72,7 @@ printf 'index.html platform.js favicon.ico\n'
 ln -f index.html platform.js ../build
 cp ../data/favicon.ico ../build
 
-if false
+if [ ! -s "../build/ws" ]
 then
  cd ../ws
  printf 'ws.c\n'
-- 
cgit v1.2.3-70-g09d2