add short git hash to name of devel disk images to get different names for devel...

[lyx.git] / development / keystest / autolyx

diff --git a/development/keystest/autolyx b/development/keystest/autolyx
index 669042bbfaa8a51bccd2b0725e109766d6ba13ac..024499251e2d5d571f813498e792ce3593116ca5 100755 (executable)
--- a/development/keystest/autolyx
+++ b/development/keystest/autolyx
@@ -1,16 +1,5 @@
 #!/bin/bash
-# This script starts LyX, and restarts LyX if it is closed
-# it logs all output, including backtraces to development/keystest/out/GDB
-
-#rename other windows to avoid confusion.
-wmctrl -N __renamed__ -r lyx
-wmctrl -N __renamed__ -r lyx
-wmctrl -N __renamed__ -r lyx
-wmctrl -N __renamed__ -r lyx
-
-while true
-do
-  ( (echo SECONDS: `date +%s`
-       (echo "run
-  bt" ; yes q) | gdb src/lyx 2>&1) | strings|  tee -a development/keystest/out/GDB)
-done
+DIRNAME0=`dirname "$0"`
+. $DIRNAME0/shared_variables.sh
+. $DIRNAME0/shared_functions.sh
+autolyx_main "$@"