diff options
| -rw-r--r-- | packages/jamvm/jamvm.inc | 2 | ||||
| -rw-r--r-- | packages/jamvm/jamvm_1.4.5.bb | 2 | ||||
| -rw-r--r-- | packages/jamvm/jamvm_1.5.0.bb | 2 | ||||
| -rw-r--r-- | packages/jamvm/jamvm_1.5.1.bb | 2 |
4 files changed, 5 insertions, 3 deletions
diff --git a/packages/jamvm/jamvm.inc b/packages/jamvm/jamvm.inc index 930159e891..af6fd47ee6 100644 --- a/packages/jamvm/jamvm.inc +++ b/packages/jamvm/jamvm.inc @@ -19,4 +19,4 @@ CFLAGS += "-DDEFAULT_MAX_HEAP=16*MB" ALTERNATIVE_NAME = "java" ALTERNATIVE_PATH = "${bindir}/jamvm" -ALTERNATIVE_PRIORITY = "10" +ALTERNATIVE_PRIORITY = "5" diff --git a/packages/jamvm/jamvm_1.4.5.bb b/packages/jamvm/jamvm_1.4.5.bb index 3cc0431266..8414c5615c 100644 --- a/packages/jamvm/jamvm_1.4.5.bb +++ b/packages/jamvm/jamvm_1.4.5.bb @@ -1,4 +1,6 @@ require jamvm.inc +PR = "r1" + SRC_URI += "file://jamvm-1.3.1-size-defaults.patch;patch=1" diff --git a/packages/jamvm/jamvm_1.5.0.bb b/packages/jamvm/jamvm_1.5.0.bb index 366658dd97..81977a5f40 100644 --- a/packages/jamvm/jamvm_1.5.0.bb +++ b/packages/jamvm/jamvm_1.5.0.bb @@ -2,7 +2,7 @@ require jamvm.inc SRC_URI += "file://debian-jni.patch;patch=1;pnum=0" -PR = "r1" +PR = "r2" do_configure_prepend() { # Replaces the placeholder OE_LIBDIR_JNI with the JNI library directory diff --git a/packages/jamvm/jamvm_1.5.1.bb b/packages/jamvm/jamvm_1.5.1.bb index bf9271c938..366658dd97 100644 --- a/packages/jamvm/jamvm_1.5.1.bb +++ b/packages/jamvm/jamvm_1.5.1.bb @@ -2,7 +2,7 @@ require jamvm.inc SRC_URI += "file://debian-jni.patch;patch=1;pnum=0" -PR = "r0" +PR = "r1" do_configure_prepend() { # Replaces the placeholder OE_LIBDIR_JNI with the JNI library directory |