Issue #1420: Updated tooltips for Build features.

[modules/shaper.git] / linux_run.sh

diff --git a/linux_run.sh b/linux_run.sh
index 10b6112649585f749c2ddff49c7b1698c0e57db4..aad0cde3e4ce2df46d450b10b390dc5519fc5aa8 100755 (executable)
--- a/linux_run.sh
+++ b/linux_run.sh
@@ -1,17 +1,10 @@
 #!/bin/bash
 
-a_dir=$(dirname $0)
+source env.sh
+source ${TOOLS_DIR}/env_standalone.sh
 
-cd ${a_dir}
+${TOOLS_DIR}/solver.sh "$@"
 
-source ${a_dir}/env.sh
-source ${a_dir}/env_standalone.sh
+APP=${SHAPER_ROOT_DIR}/bin/GeomApp
 
-if [ -f GDB ]; then
-  ${INSTALL_DIR}/bin/GeomApp >>log_GeomApp 2>>err_GeomApp &
-  APP_PID=$!
-  echo "Connecting GDB to PID ${APP_PID}..."
-  gdb - ${APP_PID} >>log_gdb_linux 2>>err_gdb_linux
-else
-  ${INSTALL_DIR}/bin/GeomApp
-fi
+${APP}