try without #!/bin/env python #5397

scripts/mk_consts_files.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+# -- /usr/bin/env python
 """
 Reads a list of Z3 API header files and
 generate the constant declarations need

scripts/mk_def_file.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#  - /usr/bin/env python
 """
 Reads a list of Z3 API header files and
 generate a ``.def`` file to define the

scripts/mk_gparams_register_modules_cpp.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+# -- /usr/bin/env python
 """
 Determines the available global parameters from a list of header files and
 generates a ``gparams_register_modules.cpp`` file in the destination directory

scripts/mk_install_tactic_cpp.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+# -- /usr/bin/env python
 """
 Determines the available tactics from a list of header files and generates a
 ``install_tactic.cpp`` file in the destination directory that defines a

scripts/mk_mem_initializer_cpp.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+# -- /usr/bin/env python
 """
 Scans the listed header files for
 memory initializers and finalizers and

scripts/mk_pat_db.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+# -- /usr/bin/env python
 """
 Reads a pattern database and generates the corresponding
 header file.

scripts/pyg2hpp.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#  - /usr/bin/env python
 """
 Reads a pyg file and emits the corresponding
 C++ header file into the specified destination

scripts/update_api.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#  - !/usr/bin/env python
 ############################################
 # Copyright (c) 2012 Microsoft Corporation
 #