diff options
Diffstat (limited to 'recipes/jamvm/files')
| -rw-r--r-- | recipes/jamvm/files/jamvm_1.4.5-initial.patch | 6 | ||||
| -rw-r--r-- | recipes/jamvm/files/jamvm_1.5.0-initial.patch | 6 |
2 files changed, 6 insertions, 6 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 diff --git a/recipes/jamvm/files/jamvm_1.5.0-initial.patch b/recipes/jamvm/files/jamvm_1.5.0-initial.patch index 3d5a4ae93b..1f63dba3e3 100644 --- a/recipes/jamvm/files/jamvm_1.5.0-initial.patch +++ b/recipes/jamvm/files/jamvm_1.5.0-initial.patch @@ -22,11 +22,11 @@ Index: jamvm-1.5.0/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 |