aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-04-16 20:31:17 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-04-16 20:31:17 -0400
commitf7d91f89bb4545d09f3cd19335b51a40497899ef (patch)
treefea547db2221f00440ed7f192fcd071d9e906efc
parent3a73ac521cfef932e8a98c1ff39616cf877e5de0 (diff)
Update local tomo script
-rwxr-xr-xlocal-tomo6
1 files changed, 3 insertions, 3 deletions
diff --git a/local-tomo b/local-tomo
index f6548058..241b0eff 100755
--- a/local-tomo
+++ b/local-tomo
@@ -6,7 +6,7 @@ if [ ! -e "$here/build/bin/tomo" ]; then
fi
PATH="$here/build/bin:$PATH" \
-LD_LIBRARY_PATH="$here/build/lib:$LD_LIBRARY_PATH" \
-LIBRARY_PATH="$here/build/lib:$LIBRARY_PATH" \
-C_INCLUDE_PATH="$here/build/include:$C_INCLUDE_PATH" \
+LD_LIBRARY_PATH="$here/build/lib" \
+LIBRARY_PATH="$here/build/lib" \
+C_INCLUDE_PATH="$here/build/include" \
tomo "$@"