1 files changed, 11 insertions, 0 deletions
diff --git a/cmd-or-msg b/cmd-or-msg
new file mode 100755
index 0000000..ccf9527
--- /dev/null
+++ b/cmd-or-msg
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+srcdir=`dirname $0`
+opt="$1"
+shift
+
+echo "$*"
+if ! "${@}"; then
+    echo "If you can't fix the issue, re-run $srcdir/configure with --$opt."
+    exit 1
+fi