diff --git a/configure b/configure index e2670eed5d..83c959df32 100755 --- a/configure +++ b/configure @@ -2,6 +2,9 @@ # Convenience wrapper for easily viewing/setting options that # the project's CMake scripts will recognize set -e + +trap '[ $? -eq 0 ] && exit 0 || echo "Also, before rerunning configure, consider cleaning the cache via: make distclean"' EXIT + command="$0 $*" usage="\