Use os.devnull instead of hardcoded '/dev/null'.
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 @@
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':