Add an info line about the dynamic kernels config option.
PiperOrigin-RevId: 217772932
diff --git a/configure.py b/configure.py
index b564da2..ceaae63 100644
--- a/configure.py
+++ b/configure.py
@@ -1667,6 +1667,8 @@
config_info_line('gdr', 'Build with GDR support.')
config_info_line('verbs', 'Build with libverbs support.')
config_info_line('ngraph', 'Build with Intel nGraph support.')
+ config_info_line('dynamic_kernels',
+ '(Experimental) Build kernels into separate shared objects.')
print('Preconfigured Bazel build configs to DISABLE default on features:')
config_info_line('noaws', 'Disable AWS S3 filesystem support.')