Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'extras/JavaBinding/configure')
-rwxr-xr-xextras/JavaBinding/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/JavaBinding/configure b/extras/JavaBinding/configure
index 3bab8873b8..6fb676b552 100755
--- a/extras/JavaBinding/configure
+++ b/extras/JavaBinding/configure
@@ -1,10 +1,10 @@
#!/bin/bash
-VERSION=1.9
+VERSION=1.9.1
PACKAGE=monodevelop-java
prefix=/usr/local
config=DEBUG
configurations=" RELEASE DEBUG"
-required_packages="mono-addins;0.3 gtk-sharp-2.0;2.8.3 glade-sharp-2.0;2.8.3 monodevelop;1.9"
+required_packages="mono-addins;0.3 gtk-sharp-2.0;2.8.3 glade-sharp-2.0;2.8.3 monodevelop;1.9.1"
usage ()
{