1 files changed, 3 insertions, 0 deletions
diff --git a/check-in-path b/check-in-path
new file mode 100755
index 0000000..69bbd6c
--- /dev/null
+++ b/check-in-path
@@ -0,0 +1,3 @@
+#!/bin/sh
+set -e
+for cmd; do which -- "$cmd"; done >/dev/null 2>/dev/null