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:
authorAaron Bockover <abock@xamarin.com>2014-11-11 18:26:58 +0300
committerAaron Bockover <abock@xamarin.com>2014-11-11 18:26:58 +0300
commit3dc7cc03ab1e71f7a4511b1054d925707e1956cb (patch)
tree3a14f06ed1964d76d07aaab9279a27665cccd905 /configure
parentd9312f782b9c79832198f6193bddf1a89071d2c2 (diff)
[configure] set PROFILE in config.make
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 42ff68fc52..7db73998ef 100755
--- a/configure
+++ b/configure
@@ -284,7 +284,8 @@ fi
configure_packages
[ $? -eq 1 ] && exit 1
-echo -n "SUBDIRS = " > config.make
+echo "PROFILE = $profile" > config.make
+echo -n "SUBDIRS = " >> config.make
echo Configuration Summary
echo ---------------------