portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tools: syscall_header_gen: print an error to stderr that wasn't

Browse source
This commit is contained in:
Corey Richardson 2016-01-25 15:45:34 +11:00
parent 41d98e45c0
commit 4b043d767f
No known key found for this signature in database
GPG key ID: 990278AD76243314
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
tools/syscall_header_gen.py
View file

@ -113,7 +113,8 @@ def parse_args():
result = parser.parse_args()
if result.kernel_header is None and result.libsel4_header is None:
print("Error: must provide either kernel_header or libsel4_header")
print("Error: must provide either kernel_header or libsel4_header",
file=sys.stderr)
parser.print_help()
exit(-1)