diff options
| -rw-r--r-- | packages/jamvm/jamvm_1.5.0.bb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/jamvm/jamvm_1.5.0.bb b/packages/jamvm/jamvm_1.5.0.bb index 92c1992ea9..c95faf9d6b 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 = "r3" +PR = "r4" do_configure_prepend() { # Replaces the placeholder OE_LIBDIR_JNI with the JNI library directory |