From 0ea2ac3f28882d1eebac702265e873356f41fe56 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 7 Mar 2016 14:21:33 +0000 Subject: [PATCH] API script fix --- scripts/update_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index bf3f90151..6687d4517 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1261,7 +1261,7 @@ def mk_ml(ml_dir): ml_native.write('(**/**)\n') ml_native.close() - if is_verbose(): + if mk_util.is_verbose(): print ('Generated "%s"' % ml_nativef)