cmd-or-msg

   1 #!/bin/sh
   2
   3 srcdir=`dirname $0`
   4 opt="$1"
   5 shift
   6
   7 echo "$*"
   8 if ! "${@}"; then
   9     echo "If you can't fix the issue, re-run $srcdir/configure with --$opt."
  10     exit 1
  11 fi