Fix linting failure for fix of #166

jmurty · jmurty · commit 4488425561d1 · 2023-05-26T23:00:01.000+10:00
diff --git a/transcrypt b/transcrypt
@@ -16,6 +16,7 @@ set -euo pipefail
 ##### OVERRIDES
 
 # Disable any global grep options, to avoid problems like '--colors=always'
+# shellcheck disable=SC2034
 GREP_OPTIONS=""
 
 ##### CONSTANTS
