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-02-07 01:37:32 +0400
committerLluis Sanchez <lluis@xamarin.com>2014-02-07 01:37:32 +0400
commit03558eed3eb65ecc8022bf69206a1166c16f6579 (patch)
treee773fe2e1aafbf3e9874e852bd3e80edcc1ddf62 /configure
parentb578ae22e763403a8754ac084a3ef3c49a341265 (diff)
Changed version config file to version.config
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure
index c8417d2c4a..ddb13ecf35 100755
--- a/configure
+++ b/configure
@@ -180,9 +180,9 @@ configure_packages ()
create_local_config ()
{
- # Get the version from the version.txt file, if it exists
- if test -a version.txt; then
- ver=`grep ^Version version.txt|cut -d '=' -f 2|tr -d '\n'`
+ # Get the version from the version.config file, if it exists
+ if test -a version.config; then
+ ver=`grep ^Version version.config|cut -d '=' -f 2|tr -d '\n'`
else
ver=VERSION
fi