diff options
Diffstat (limited to 'bbot')
-rw-r--r-- | bbot/machine-manifest.cxx | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bbot/machine-manifest.cxx b/bbot/machine-manifest.cxx index 3417dd7..7f9a030 100644 --- a/bbot/machine-manifest.cxx +++ b/bbot/machine-manifest.cxx @@ -95,6 +95,8 @@ namespace bbot if (mac) bad_name ("machine mac redefinition"); + // @@ Should we check that the value is a valid mac? + // mac = move (v); } else if (n == "options") @@ -245,7 +247,7 @@ namespace bbot s.next ("", ""); // End of manifest. } - // bootstrapped_machine_manifest + // bootstrapped_machine_manifest // bootstrapped_machine_manifest:: bootstrapped_machine_manifest (parser& p, bool iu) |