diff options
author | Robert Schuster <rschus@entw2.(none)> | 2009-03-09 11:15:46 +0100 |
---|---|---|
committer | Robert Schuster <rschus@entw2.(none)> | 2009-03-09 11:19:23 +0100 |
commit | b2663e9f80d6ddbf4bc6a769009ef622fc723506 (patch) | |
tree | 97ac6a3994accb000f9441655c03c5b1b19d976f /packages/jamvm | |
parent | f008320e191a6b1a182a2c76dda383cb76227e1c (diff) |
jamvm 1.5.0: Increased PR.
Diffstat (limited to 'packages/jamvm')
-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 |