Allow users to add additional CONFIG_* and override defaults
by concatenating a given file with #define's and #undef's to
lib/config.h
Signed-off-by: Andrew Jones <andrew.jo...@linux.dev>
---
configure | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/configure b/configure
index 27ae9cc89657..7a1317d0650d 100755
--- a/configure
+++ b/configure
@@ -64,6 +64,8 @@ usage() {
no environ is provided by the user (enabled
by default)
--erratatxt=FILE specify a file to use instead of errata.txt.
Use
'--erratatxt=' to ensure no file is used.
+ --add-config=FILE specify a file containing configs (CONFIG_*)
to add on to the
+ generated lib/config.h. Use #undef to
override default configs.
--host-key-document=HOST_KEY_DOCUMENT
Specify the machine-specific host-key
document for creating
a PVM image with 'genprotimg' (s390x only)
@@ -153,6 +155,10 @@ while [[ "$1" = -* ]]; do
erratatxt=
[ "$arg" ] && erratatxt=$(eval realpath "$arg")
;;
+ --add-config)
+ add_config=
+ [ "$arg" ] && add_config=$(eval realpath "$arg")
+ ;;
--host-key-document)
host_key_document="$arg"
;;
@@ -213,6 +219,10 @@ if [ "$erratatxt" ] && [ ! -f "$erratatxt" ]; then
echo "erratatxt: $erratatxt does not exist or is not a regular file"
exit 1
fi
+if [ "$add_config" ] && [ ! -f "$add_config" ]; then
+ echo "add-config: $add_config does not exist or is not a regular file"
+ exit 1
+fi
arch_name=$arch
[ "$arch" = "aarch64" ] && arch="arm64"
@@ -502,4 +512,8 @@ cat <<EOF >> lib/config.h
EOF
fi
+if [ "$add_config" ]; then
+ echo "/* Additional configs from $add_config */" >> lib/config.h
+ cat "$add_config" >> lib/config.h
+fi
echo "#endif" >> lib/config.h
--
2.46.0
