diff options
Diffstat (limited to 'arch/arm64/test_gen.py')
| -rwxr-xr-x | arch/arm64/test_gen.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/arm64/test_gen.py b/arch/arm64/test_gen.py index 9c07fdea..a4d5866c 100755 --- a/arch/arm64/test_gen.py +++ b/arch/arm64/test_gen.py @@ -151,14 +151,14 @@ def gather_samples(mnems, encodings): if sys.argv[1] == "mnemonic": mnems = sys.argv[2:] for mnem in mnems: - print("searching for mnemonic -%s-" % mnem) + print("searching for mnemonic -%s-" % mnem, file=sys.stderr) gather_samples([mnem], []) # exact match (ignoring case) for encodings elif sys.argv[1] == "encoding": encnames = sys.argv[2:] for encname in encnames: - print("searching for encoding -%s-" % encname) + print("searching for encoding -%s-" % encname, file=sys.stderr) gather_samples([], [encname]) elif sys.argv[1] == "mte": |