diff options
| author | Robert Schuster <robertschuster@fsfe.org> | 2010-07-14 08:15:01 +0200 |
|---|---|---|
| committer | Robert Schuster <robertschuster@fsfe.org> | 2010-07-14 08:15:01 +0200 |
| commit | 440b956c99f36007c9799e26c79a57165572f541 (patch) | |
| tree | 603f5088125be05a734c659b847ab8ce405db086 /recipes/jamvm/files/jamvm_1.4.5-initial.patch | |
| parent | 06b38693f58aa5bbc1f0901b628fd4d1d81db548 (diff) | |
jamvm-initial 1.4.5,1.5.0: Fixed binary to be called in script.
Diffstat (limited to 'recipes/jamvm/files/jamvm_1.4.5-initial.patch')
| -rw-r--r-- | recipes/jamvm/files/jamvm_1.4.5-initial.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/recipes/jamvm/files/jamvm_1.4.5-initial.patch b/recipes/jamvm/files/jamvm_1.4.5-initial.patch index f841271221..175052dbf3 100644 --- a/recipes/jamvm/files/jamvm_1.4.5-initial.patch +++ b/recipes/jamvm/files/jamvm_1.4.5-initial.patch @@ -21,11 +21,11 @@ Index: jamvm-1.4.5/java-initial + +redo_from_start=1; +while [ $redo_from_start -eq 1 ]; do -+ echo "Running JamVM: ${@}" ++ echo "Running JamVM-initial: ${@}" + redo_from_start=0; -+ jamvm ${1+"$@"} ++ jamvm-initial ${1+"$@"} + if [ $? -eq 139 ]; then -+ echo "JamVM crashed - silently trying again" ++ echo "JamVM-initial crashed - silently trying again" + redo_from_start=1; + fi +done |