diff options
author | Zack Weinberg <zackw@panix.com> | 2021-09-26 12:09:18 -0400 |
---|---|---|
committer | Zack Weinberg <zackw@panix.com> | 2021-09-26 12:09:18 -0400 |
commit | 2ab0702946045179d8718a14b477ae6515d1fd6d (patch) | |
tree | bfefd15a602638e777dc83b691cfc3f2a1d27e3a | |
parent | 08b6f99cef7fffd47083341e464e45ee971ddee1 (diff) | |
download | autoconf-2ab0702946045179d8718a14b477ae6515d1fd6d.tar.gz |
log_environment: Reactivate report_machine/report_ENV
accidentally left these commented out in the previous commit
-rwxr-xr-x | log_environment | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/log_environment b/log_environment index 80388ec3..724b9750 100755 --- a/log_environment +++ b/log_environment @@ -182,8 +182,8 @@ sub main { ensure_empty_stdin(); print "# CI environment report\n"; - #report_machine(); - #report_ENV(\%orig_env); + report_machine(); + report_ENV(\%orig_env); report_programs(@_) if scalar(@_); }; |