summaryrefslogtreecommitdiff
path: root/cmd-or-msg
blob: ccf9527f94becee53041a967432a87592ec2e2ad (plain)
1
2
3
4
5
6
7
8
9
10
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