From b9318a7cdc2442b409709c4e32d49301a8098b95 Mon Sep 17 00:00:00 2001 From: Omar Polo Date: Mon, 17 Jun 2024 07:01:15 +0000 Subject: [PATCH] log configure invocation and uname in config.log --- configure | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/configure b/configure index b037d677..ec069128 100755 --- a/configure +++ b/configure @@ -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