From ca41512826579a21db4f398b5a8e5d59a54186ad Mon Sep 17 00:00:00 2001 From: Simon Hardy-Francis Date: Wed, 13 Nov 2019 15:40:22 -0800 Subject: [PATCH] Add hint to run make distclean if configure fails --- configure | 3 +++ 1 file changed, 3 insertions(+) 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="\