#2264: scripts: remove unused variables

DARMA-tasking · May 9, 2024 · 77728e7 · 77728e7
1 parent 896389e
commit 77728e7
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/ci/ctest_build_all.sh b/ci/ctest_build_all.sh
@@ -8,13 +8,6 @@ build_dir=${2}
 # Dependency versions, when fetched via git.
 checkpoint_rev=develop
 
-if test "${VT_DOXYGEN_ENABLED:-0}" -eq 1
-then
-    token=${3}
-else
-    target=${3:-install}
-fi
-
     export parallel_level=4
 if [ -z ${4} ]; then
     export dashj=""