1 files changed, 1 insertions, 1 deletions
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'