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 ());
-      }
-    }
   }
 }