diff options
Diffstat (limited to 'extension/configure')
| -rwxr-xr-x | extension/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extension/configure b/extension/configure index 26cde4b0..1adb8dd5 100755 --- a/extension/configure +++ b/extension/configure @@ -13952,7 +13952,7 @@ else $as_echo "no" >&6; } fi -for ac_header in dirent.h fnmatch.h time.h sys/time.h sys/select.h +for ac_header in dirent.h fnmatch.h time.h sys/time.h sys/select.h sys/param.h do : as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh` ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default" |