Add scouts honor escape hatch for source embedding

2020-06-15 19:01:28 -07:00
parent c91b3c5006
commit b4269930f7
547 changed files with 1516 additions and 944 deletions
--- a/tool/scripts/grep
+++ b/tool/scripts/grep
@@ -0,0 +1,6 @@
+#!/bin/sh
+exec /usr/bin/grep      \
+     --exclude-dir=o    \
+     --exclude-dir=gcc  \
+     --exclude-dir=.git \
+     "$@"