diff options
Diffstat (limited to 'bbot/machine-manifest.cxx')
-rw-r--r-- | bbot/machine-manifest.cxx | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bbot/machine-manifest.cxx b/bbot/machine-manifest.cxx index 2edf3dc..debdbcc 100644 --- a/bbot/machine-manifest.cxx +++ b/bbot/machine-manifest.cxx @@ -212,6 +212,14 @@ namespace bbot s.next ("", ""); // End of manifest. } + strings machine_manifest:: + unquoted_options () + { + return options + ? string_parser::unquote (*options) + : strings (); + } + // toolchain_manifest // toolchain_manifest:: |