diff options
Diffstat (limited to 'bbot/machine-manifest.cxx')
-rw-r--r-- | bbot/machine-manifest.cxx | 10 |
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. } |