diff options
Diffstat (limited to 'databases/sqldeveloper/files/patch-sqldeveloper.sh')
| -rw-r--r-- | databases/sqldeveloper/files/patch-sqldeveloper.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/databases/sqldeveloper/files/patch-sqldeveloper.sh b/databases/sqldeveloper/files/patch-sqldeveloper.sh index 18e10d8c3b67..d6d38fd3e9df 100644 --- a/databases/sqldeveloper/files/patch-sqldeveloper.sh +++ b/databases/sqldeveloper/files/patch-sqldeveloper.sh @@ -1,6 +1,6 @@ ---- sqldeveloper.sh.orig 2008-04-21 08:33:48.000000000 +0200 -+++ sqldeveloper.sh 2008-05-15 12:02:13.000000000 +0200 +--- sqldeveloper.sh.orig 2008-07-16 21:07:00.000000000 +0200 ++++ sqldeveloper.sh 2008-07-16 21:10:20.000000000 +0200 @@ -1,2 +1,2 @@ #!/bin/bash -cd "`dirname $0`"/sqldeveloper/bin && bash sqldeveloper $* -+cd %DATADIR%/sqldeveloper/bin && JAVA_HOME=%JAVA_HOME% bash sqldeveloper $* ++cd %DATADIR%/sqldeveloper/bin && JAVA_HOME=%JAVA_HOME% exec bash sqldeveloper $* |