diff options
author | sachinkm77 <sachinkm77> | 2020-06-03 04:06:36 -0400 |
---|---|---|
committer | fanquake <fanquake@gmail.com> | 2020-06-09 21:07:45 +0800 |
commit | c219d21634b3eff537471c4d52e631679965d8d8 (patch) | |
tree | 6594e6e6802066ad8d3b34a515701b5aafeeabba | |
parent | 0596a6eeb5ddb84c7095aed71bb7e6645c275f07 (diff) |
build: improved output of configure for build OS
Github-Pull: #19152
Rebased-From: 0fef60c63d6d2f4df8e698936221e2330ef3a244
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index c48a9a02a9..e61b65f7fa 100644 --- a/configure.ac +++ b/configure.ac @@ -1668,7 +1668,7 @@ echo " gprof enabled = $enable_gprof" echo " werror = $enable_werror" echo echo " target os = $TARGET_OS" -echo " build os = $BUILD_OS" +echo " build os = $build_os" echo echo " CC = $CC" echo " CFLAGS = $CFLAGS" |