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:
authorLluis Sanchez <lluis@xamarin.com>2014-01-08 22:01:47 +0400
committerLluis Sanchez <lluis@xamarin.com>2014-01-08 22:01:47 +0400
commit8869581bf411476d41e99db48ef3895a7dcf32fe (patch)
tree84fd53e9a0c833706dc43df3051ea27fcca093ba /configure
parent9b9fd8aaa1336ab71ff63b9cfcbbcca920c74071 (diff)
Use correct configuration file
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 3 insertions, 5 deletions
diff --git a/configure b/configure
index d45b7d6af9..f140d57772 100755
--- a/configure
+++ b/configure
@@ -180,11 +180,9 @@ configure_packages ()
create_local_config ()
{
- # Get the version from configure.in, if it exists
- if test -a $path/configure.in; then
- ver=`grep AC_INIT $path/configure.in | cut -d "," -f 2 | sed "s/ //"`
- elif test -a $path/configure; then
- ver=`grep ^VERSION= $path/configure | cut -d "=" -f 2 | sed "s/ //"`
+ # Get the version from the version.txt file, if it exists
+ if test -a $path/version.txt; then
+ ver=`grep ^Version $path/version.txt|cut -d '=' -f 2|tr -d '\n'`
else
ver=VERSION
fi