Add syscalls.pyi and make generate_linux.py update it (#668)

DMOJ · May 11, 2020 · b32ac81 · b32ac81
1 parent 679a476
commit b32ac81
Show file tree

Hide file tree

Showing 3 changed files with 475 additions and 1 deletion.
diff --git a/dmoj/cptbox/isolate.py b/dmoj/cptbox/isolate.py
@@ -7,7 +7,6 @@
 from dmoj.cptbox.tracer import MaxLengthExceeded
 from dmoj.cptbox.handlers import ACCESS_EACCES, ACCESS_ENOENT, ACCESS_EPERM, ALLOW
 
-# noinspection PyUnresolvedReferences
 from dmoj.cptbox.syscalls import *
 from dmoj.utils.unicode import utf8text