diff options
| author | Bruce Momjian | 1999-10-12 14:31:22 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1999-10-12 14:31:22 +0000 |
| commit | 3bd3dc541dd6d86ee0c770d6fcd9221fef65f059 (patch) | |
| tree | ae2011d19996f393585927594e60c87489f268eb /src/configure | |
| parent | 3c44a132ea94894cb4e0e138fc4e3d5523eae6da (diff) | |
autoconf
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/configure b/src/configure index 2bd2b826f1..151d4718fd 100755 --- a/src/configure +++ b/src/configure @@ -8190,3 +8190,4 @@ chmod +x $CONFIG_STATUS rm -fr confdefs* $ac_clean_files test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1 + |