From 5c5b9745e5745e4f03bf8f183c1116d463fd003a Mon Sep 17 00:00:00 2001 From: Bo Du Date: Tue, 10 May 2016 15:27:21 -0400 Subject: [PATCH] Account for the case where the default profile name has a '-123456789' string appended to it. (ie. Name=default-1461165984967). --- common/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/common/Makefile b/common/Makefile index ec85f276f..efe1c4e14 100644 --- a/common/Makefile +++ b/common/Makefile @@ -103,7 +103,8 @@ install: awk -v "profile=$(PROFILE)" \ 'BEGIN { RS="#" } \ index($$0, "\nName=" profile "\n") { print; exit } \ - !profile && /\nName=default\n/ { args["name=default"] = $$0 } \ + !profile && /\nName=default([\-0-9]*)?\n/ \ + { args["name=default"] = $$0 } \ !profile && /\nDefault=1/ { args["default=1"] = $$0 } \ END { \ if (args["default=1"]) print args["default=1"]; \