diff options
-rwxr-xr-x | crashrep/scripts/crash_report.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/crashrep/scripts/crash_report.sh b/crashrep/scripts/crash_report.sh index 317f30daa61c..696187cace1a 100755 --- a/crashrep/scripts/crash_report.sh +++ b/crashrep/scripts/crash_report.sh @@ -72,4 +72,9 @@ sd_prog="`pwd`" cd .. sd_binary=`basename "$0"`".bin" cd "$sd_cwd" -exec "$sd_prog/$sd_binary" "$@" +"$sd_prog/$sd_binary" "$@" +if [ $? != 0 ] ; then +sd_binary=`basename "$0"`"_with_gtk.bin" +"$sd_prog/$sd_binary" "$@" +fi + |