diff --git a/CONFIG b/CONFIG index 542c87c74..6215a4345 100644 --- a/CONFIG +++ b/CONFIG @@ -4,6 +4,8 @@ # Copyright (c) 2021 NVIDIA CORPORATION & AFFILIATES. All rights reserved. # +# configure options: __CONFIGURE_OPTIONS__ + # Installation prefix CONFIG_PREFIX="/usr/local" diff --git a/configure b/configure index ba7805111..bfa92c03a 100755 --- a/configure +++ b/configure @@ -1196,6 +1196,8 @@ fi echo -n "Creating mk/config.mk..." cp -f $rootdir/CONFIG $rootdir/mk/config.mk +ARGS=$(echo "$@" | sed 's/ /\\ /g') +sed -i.bak -r "s#__CONFIGURE_OPTIONS__#${ARGS}#g" $rootdir/mk/config.mk for key in "${!CONFIG[@]}"; do sed -i.bak -r "s#[[:space:]]*CONFIG_${key}=.*#CONFIG_${key}\?=${CONFIG[$key]}#g" $rootdir/mk/config.mk done