diff options
Diffstat (limited to 'Tools/compiler/compile.py')
-rw-r--r-- | Tools/compiler/compile.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Tools/compiler/compile.py b/Tools/compiler/compile.py index 9d50425..9e5c801 100644 --- a/Tools/compiler/compile.py +++ b/Tools/compiler/compile.py @@ -1,3 +1,4 @@ +import os import sys import getopt @@ -16,11 +17,7 @@ def main(): VERBOSE = 1 visitor.ASTVisitor.VERBOSE = visitor.ASTVisitor.VERBOSE + 1 if k == '-q': - if sys.platform[:3]=="win": - f = open('nul', 'wb') # /dev/null fails on Windows... - else: - f = open('/dev/null', 'wb') - sys.stdout = f + sys.stdout = open(os.devnull, 'wb') if k == '-d': DISPLAY = 1 if k == '-c': |