diff options
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 |