From c1a48a73a88720c8fd93eceeab0259b89cf90a53 Mon Sep 17 00:00:00 2001 From: Eric Froemling Date: Thu, 16 Apr 2020 12:18:32 -0700 Subject: [PATCH] Tidying and testing pub/priv sync system --- tools/snippets | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/snippets b/tools/snippets index 120e9fe3..5fd41c86 100755 --- a/tools/snippets +++ b/tools/snippets @@ -910,7 +910,7 @@ def _printpaths(inpaths: List[str], category: str) -> None: def sources() -> None: - """Print source files of different categories. + """Print source files of different categories for use as Makefile deps. These are used as broad, redundant filters for expensive build ops. For instance, when running a build through a VM we might want to skip