mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
--with-perftools configure option now assumes --enable-perftools (closes #527)
This commit is contained in:
parent
a34b0b5344
commit
c0c8b515f9
1 changed files with 1 additions and 0 deletions
1
configure
vendored
1
configure
vendored
|
@ -172,6 +172,7 @@ while [ $# -ne 0 ]; do
|
|||
append_cache_entry LibGeoIP_ROOT_DIR PATH $optarg
|
||||
;;
|
||||
--with-perftools=*)
|
||||
append_cache_entry ENABLE_PERFTOOLS BOOL true
|
||||
append_cache_entry GooglePerftools_ROOT_DIR PATH $optarg
|
||||
;;
|
||||
--with-python=*)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue