diff options
Diffstat (limited to 'build2/config/utility.cxx')
-rw-r--r-- | build2/config/utility.cxx | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/build2/config/utility.cxx b/build2/config/utility.cxx index d5e0afe..c617690 100644 --- a/build2/config/utility.cxx +++ b/build2/config/utility.cxx @@ -76,17 +76,5 @@ namespace build2 return false; } - - void - append_options (cstrings& args, const const_strings_value& sv) - { - if (!sv.empty ()) - { - args.reserve (args.size () + sv.size ()); - - for (const string& s: sv) - args.push_back (s.c_str ()); - } - } } } |