Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Add hint to run make distclean if configure fails

Browse source
This commit is contained in:
Simon Hardy-Francis 2019-11-13 15:40:22 -08:00
parent 75588956fc
commit ca41512826
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
configure vendored
View file

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