diff options
Diffstat (limited to '011load.cc')
| -rw-r--r-- | 011load.cc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/011load.cc b/011load.cc index 4b1b1929..793e474e 100644 --- a/011load.cc +++ b/011load.cc @@ -207,12 +207,6 @@ void skip_comment(istream& in) { } } -void skip_comma(istream& in) { - skip_whitespace(in); - if (!in.eof() && in.peek() == ',') in.get(); - skip_whitespace(in); -} - //: Warn if a recipe gets redefined, because large codebases can accidentally //: step on their own toes. But there'll be many occasions later where //: we'll want to disable the warnings. |