diff options
| author | Omar Polo <op@omarpolo.com> | 2024-06-17 07:01:15 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2024-06-17 07:01:15 +0000 |
| commit | b9318a7cdc2442b409709c4e32d49301a8098b95 (patch) | |
| tree | d37351ab6187b9a3a496b2db553d3bc62ee9a89e | |
| parent | 77cf3acfad0581652a5d345d01a69adea3f5ae26 (diff) | |
log configure invocation and uname in config.log
| -rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -141,6 +141,10 @@ done exec 3> config.log echo "file config.log: writing..." +echo "running as ./configure $@" >&3 +echo "on $(uname -a)" >&3 +echo "" >&3 + NEED_GNU_SOURCE=0 NEED_OPENBSD_SOURCE=0 |