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 '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