Sync from rust 0256d065d4901b63def6c04013da4f781d0752bb

bjorn3 · bjorn3 · commit 11dd005a88ee · 2020-11-07T19:34:01.000+01:00
diff --git a/scripts/config.sh b/scripts/config.sh
@@ -1,3 +1,5 @@
+# Note to people running shellcheck: this file should only be sourced, not executed directly.
+
 set -e
 
 unamestr=$(uname)

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+# Note to people running shellcheck: this file should only be sourced, not executed directly.`
	`2`	`+`
`1`	`3`	`set -e`
`2`	`4`
`3`	`5`	`unamestr=$(uname)`