diff --git a/build-scripts/rename_symbols.py b/build-scripts/rename_symbols.py index d6cf879e17..33a92dde04 100755 --- a/build-scripts/rename_symbols.py +++ b/build-scripts/rename_symbols.py @@ -25,7 +25,7 @@ def main(): else: if len(args.args) < 3: - print("Usage: %s oldname newname files_or_directories ..." % sys.argv[0]) + print("Usage: %s [--substring] oldname newname files_or_directories ..." % sys.argv[0]) exit(1) replacements = { args.args[0]: args.args[1] }