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:
authornosami <jasonimison@gmail.com>2018-11-22 23:42:16 +0300
committernosami <jasonimison@gmail.com>2018-11-22 23:42:16 +0300
commitd964011503457aa141bbae44337b7883c145d77c (patch)
tree63e02b7c845db42109d34cb1baaf7dbaffc29ba2 /scripts
parent5355ebde2e1ac8bc5ba17d23730b663cc790276a (diff)
Add IsMajorPreview flag to configure script
Diffstat (limited to 'scripts')
-rw-r--r--scripts/configure.cs11
1 files changed, 10 insertions, 1 deletions
diff --git a/scripts/configure.cs b/scripts/configure.cs
index ee478950d4..d2964452e5 100644
--- a/scripts/configure.cs
+++ b/scripts/configure.cs
@@ -61,6 +61,9 @@ namespace MonoDevelop.Configuration
case "is-preview":
GetIsPreview(args);
break;
+ case "is-major-preview":
+ GetIsMajorPreview(args);
+ break;
default:
Console.WriteLine("Unknown command: " + cmd);
return 1;
@@ -87,6 +90,10 @@ namespace MonoDevelop.Configuration
Console.WriteLine (config.IsPreview);
}
+ static void GetIsMajorPreview (string[] args)
+ {
+ Console.WriteLine (config.IsMajorPreview);
+ }
static void GetReleaseId (string[] args)
{
Console.WriteLine (config.ReleaseId);
@@ -137,7 +144,8 @@ namespace MonoDevelop.Configuration
public readonly string ReleaseId;
public readonly PlatformInfo PlatformInfo;
public readonly bool IsPreview;
-
+ public readonly bool IsMajorPreview;
+
public IdeConfigurationTool(string monoDevelopPath)
{
MonoDevelopPath = monoDevelopPath;
@@ -148,6 +156,7 @@ namespace MonoDevelop.Configuration
CompatVersion = SystemUtil.Grep(versionTxt, "CompatVersion=(.*)");
SourceUrl = SystemUtil.Grep(versionTxt, "SourceUrl=(.*)", true);
IsPreview = SystemUtil.Grep(versionTxt, "IsPreview=(.*)") == "true";
+ IsMajorPreview = SystemUtil.Grep(versionTxt, "IsMajorPreview=(.*)") == "true";
var customSource = Environment.GetEnvironmentVariable ("MONODEVELOP_UPDATEINFO_SOURCE_URL");
if (!string.IsNullOrEmpty (customSource))