diff options
m--------- | libfirm | 0 | ||||
-rwxr-xr-x | support/check_options.py | 2 |
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 |