summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
m---------libfirm0
-rwxr-xr-xsupport/check_options.py2
2 files changed, 1 insertions, 1 deletions
diff --git a/libfirm b/libfirm
-Subproject b7f2ed734453a3185d07738016119544da27b9e
+Subproject 61f23b0e05096e08c39a60f1ee9bc515326309e
diff --git a/support/check_options.py b/support/check_options.py
index 8c2184c..f8c44d1 100755
--- a/support/check_options.py
+++ b/support/check_options.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
import re
import sys
import collections