From 7d7286e8f9765deda0ef49cd28b721b916fa4af3 Mon Sep 17 00:00:00 2001 From: Arjan Dikhoff Date: Fri, 25 Oct 2024 23:49:16 +0200 Subject: [PATCH] Make test run configurable --- build.sh | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/build.sh b/build.sh index 474658e811e..5ce7d437761 100755 --- a/build.sh +++ b/build.sh @@ -34,13 +34,15 @@ rm -rf $migrateDir rm -rf $sphinxDir rm -rf $repoDir -echo "Migrate Godot to Redot" -mkdir -p $migrateDir -python migrate.py $inputDir $migrateDir - -echo "Translate to html" -mkdir -p $sphinxDir -sphinx-build -b html -j 4 $migrateDir $sphinxDir +if [ -n "$FULL_RUN" ] + echo "Migrate Godot to Redot" + mkdir -p $migrateDir + python migrate.py $inputDir $migrateDir + + echo "Translate to html" + mkdir -p $sphinxDir + sphinx-build -b html -j 4 $migrateDir $sphinxDir +fi echo "DUMMY FILE FOR TESTING: $date" > $sphinxDir/test.html