Merge branch 'feature/streamline-installation' of gitlab-tss.gemalto.…

…com:riscv/ohg-pr/cva6 into feature/streamline-installation
openhwgroup · Sep 26, 2023 · 479e035 · 479e035
2 parents 45f5172 + 4ba671e
commit 479e035
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/verif/regress/install-spike.sh b/verif/regress/install-spike.sh
@@ -46,9 +46,9 @@ else
   # Do not clean up the destination directory: leave that to the user (real or CI job).
 
   # Rebuild Spike or reuse an existing Spike build.
-  if [ ! -d "$SPIKE_INSTALL_DIR" -o ! -f "$SPIKE_INSTALL_DIR/bin/spike" ]; then
+  if ! [ -f "$SPIKE_INSTALL_DIR/bin/spike" ]; then
     # Keep track of current working dir.
-    CALLER_DIR=$(pwd)
+    CALLER_DIR="$(pwd)"
     # Enter the vendorized tree.  It already captures the desired Spike config.
     cd $SPIKE_SRC_DIR
     echo "Building Spike sources in $SPIKE_SRC_DIR..."