Run make_public.py script with Python 3 by default

This commit is contained in:
Chris Donati 2019-09-13 14:54:42 -07:00
parent 0d8f672831
commit 102eebe654
1 changed files with 1 additions and 9 deletions

View File

@ -1,4 +1,4 @@
#!/usr/bin/env sh
#!/usr/bin/python3 -B
#
# make_public.py
#
@ -19,14 +19,6 @@
# limitations under the License.
#
# Select an interpreter for this script. Use python3 if it is available.
""":"
for cmd in python3 python; do
command -v > /dev/null $cmd && exec $cmd -B $0 "$@"
done
>&2 echo "No Python interpreter found"
exit 1
":"""
import argparse
import platform