Update scripts to python3.HEADmaster

Debian bullseye will not ship python2 by default anymore, and at any rate
there is not going to be just /usr/bin/python. So we might as well go
ahead and update our scripts.

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