1 files changed, 8 insertions, 0 deletions
diff --git a/gawkapi.c b/gawkapi.c
index 3b915fc2..7a79f782 100644
--- a/gawkapi.c
+++ b/gawkapi.c
@@ -479,3 +479,11 @@ init_ext_api()
 	api_impl.do_flags[4] = do_debug;
 	api_impl.do_flags[5] = do_mpfr;
 }
+
+/* update_ext_api --- update the variables in the API that can change */
+
+void
+update_ext_api()
+{
+	api_impl.do_flags[0] = do_lint;
+}