mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
12 lines
367 B
Diff
12 lines
367 B
Diff
|
--- src/kernel/sel4/libsel4/tools/syscall_stub_gen.py
|
||
|
|
+++ src/kernel/sel4/libsel4/tools/syscall_stub_gen.py
|
||
|
|
@@ -807,7 +807,7 @@ def main():
|
||
|
|
print "Invalid word size in configuration file."
|
||
|
|
sys.exit(2)
|
||
|
|
else:
|
||
|
|
- wordsize = args.wsize
|
||
|
|
+ wordsize = int(args.wsize)
|
||
|
|
|
||
|
|
if wordsize is -1:
|
||
|
|
print "Invalid word size."
|