Merge branch 'docs/build-std' of https://github.com/runtimeverificati…

…on/smir_pretty into docs/build-std
runtimeverification · Oct 30, 2024 · 798ce16 · 798ce16
2 parents 574f433 + 5ecc7a3
commit 798ce16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run.sh b/run.sh
@@ -8,7 +8,7 @@ STAGE=$(cat "${RUST_DIR}/stage")
 RUST_BUILD_DIR=${RUST_DIR}/src/build/${ARCH}
 SEP=""
 [ -n "${LD_LIBRARY_PATH:-}" ] && SEP=":"
-export LD_LIBRARY_PATH="${RUST_BUILD_DIR}/stage${STAGE}/lib/rustlib/x86_64-unknown-linux-gnu/lib:$SEP${LD_LIBRARY_PATH:-}"
+export LD_LIBRARY_PATH="${RUST_BUILD_DIR}/stage${STAGE}/lib/rustlib/x86_64-unknown-linux-gnu/lib$SEP${LD_LIBRARY_PATH:-}"
 if [ -x "$SCRIPT_DIR/target/debug/$BIN" ]; then
   "$SCRIPT_DIR/target/debug/$BIN"   "$@"
 elif [ -x "$SCRIPT_DIR/target/release/$BIN" ]; then