From 34885562e0debe961b73935c6d02e71d6628238d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 10 Jul 2021 15:20:56 +0200
Subject: [PATCH] try without #!/bin/env python #5397

---
 scripts/mk_consts_files.py                 | 2 +-
 scripts/mk_def_file.py                     | 2 +-
 scripts/mk_gparams_register_modules_cpp.py | 2 +-
 scripts/mk_install_tactic_cpp.py           | 2 +-
 scripts/mk_mem_initializer_cpp.py          | 2 +-
 scripts/mk_pat_db.py                       | 2 +-
 scripts/pyg2hpp.py                         | 2 +-
 scripts/update_api.py                      | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/scripts/mk_consts_files.py b/scripts/mk_consts_files.py
index 39d4e9439..03c57770c 100755
--- a/scripts/mk_consts_files.py
+++ b/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
diff --git a/scripts/mk_def_file.py b/scripts/mk_def_file.py
index 07418a975..c9b87a95d 100755
--- a/scripts/mk_def_file.py
+++ b/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
diff --git a/scripts/mk_gparams_register_modules_cpp.py b/scripts/mk_gparams_register_modules_cpp.py
index 9614768ca..83a0bc91a 100755
--- a/scripts/mk_gparams_register_modules_cpp.py
+++ b/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
diff --git a/scripts/mk_install_tactic_cpp.py b/scripts/mk_install_tactic_cpp.py
index b82e71354..004e9bb96 100755
--- a/scripts/mk_install_tactic_cpp.py
+++ b/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
diff --git a/scripts/mk_mem_initializer_cpp.py b/scripts/mk_mem_initializer_cpp.py
index 238595fa3..cd22e9045 100755
--- a/scripts/mk_mem_initializer_cpp.py
+++ b/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
diff --git a/scripts/mk_pat_db.py b/scripts/mk_pat_db.py
index 76dc7ba48..116aff67d 100755
--- a/scripts/mk_pat_db.py
+++ b/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.
diff --git a/scripts/pyg2hpp.py b/scripts/pyg2hpp.py
index b1af3edc9..97aa1d8a7 100755
--- a/scripts/pyg2hpp.py
+++ b/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
diff --git a/scripts/update_api.py b/scripts/update_api.py
index c973ff200..56ef503e9 100755
--- a/scripts/update_api.py
+++ b/scripts/update_api.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#  - !/usr/bin/env python
 ############################################
 # Copyright (c) 2012 Microsoft Corporation
 #