shared/syscall-list: filter out some obviously platform-specific syscalls

diff --git a/src/shared/generate-syscall-list.py b/src/shared/generate-syscall-list.py
index 13a6ae9241e087dac1433fc932db02894fe0312b..8fc96f7b067d764d4f92e547fe1d3a324c9cad70 100755 (executable)
--- a/src/shared/generate-syscall-list.py
+++ b/src/shared/generate-syscall-list.py
@@ -1,5 +1,14 @@
 #!/usr/bin/env python
 import sys
+import os
+
+s390 = 's390' in os.uname().machine
+arm = 'arm' in os.uname().machine
 
 for line in open(sys.argv[1]):
+    if line.startswith('s390_') and not s390:
+        continue
+    if line.startswith('arm_') and not arm:
+        continue
+
     print('"{}\\0"'.format(line.strip()))