aboutsummaryrefslogtreecommitdiff
path: root/bbot/machine-manifest.cxx
diff options
context:
space:
mode:
Diffstat (limited to 'bbot/machine-manifest.cxx')
-rw-r--r--bbot/machine-manifest.cxx10
1 files changed, 10 insertions, 0 deletions
diff --git a/bbot/machine-manifest.cxx b/bbot/machine-manifest.cxx
index be921d9..b30d551 100644
--- a/bbot/machine-manifest.cxx
+++ b/bbot/machine-manifest.cxx
@@ -144,6 +144,13 @@ namespace bbot
options = move (op);
}
+ else if (n == "changes")
+ {
+ if (v.empty ())
+ bad_value ("empty machine changes");
+
+ changes.emplace_back (move (v));
+ }
else if (!iu)
bad_name ("unknown name '" + n + "' in machine manifest");
}
@@ -187,6 +194,9 @@ namespace bbot
s.next ("options", v);
}
+ for (const string& c: changes)
+ s.next ("changes", c);
+
s.next ("", ""); // End of manifest.
}