1 files changed, 4 insertions, 3 deletions
diff --git a/Tools/scripts/ifdef.py b/Tools/scripts/ifdef.py
index 22249b2..5487f1a 100755
--- a/Tools/scripts/ifdef.py
+++ b/Tools/scripts/ifdef.py
@@ -1,4 +1,4 @@
-#! /usr/bin/env python3
+#! /usr/bin/env python
 
 # Selectively preprocess #ifdef / #ifndef statements.
 # Usage:
@@ -45,8 +45,9 @@ def main():
         if filename == '-':
             process(sys.stdin, sys.stdout)
         else:
-            with open(filename) as f:
-                process(f, sys.stdout)
+            f = open(filename, 'r')
+            process(f, sys.stdout)
+            f.close()
 
 def process(fpi, fpo):
     keywords = ('if', 'ifdef', 'ifndef', 'else', 'endif')