Fix release: build scripts with '/usr/bin/env python'

[ppu.git] / devscripts / release

diff --git a/devscripts/release b/devscripts/release
index eb89faa6b653eb87c0c96751ed5a4abf084a7da9..357cd2a99b177b84ff992f5d5c256e19b12342ac 100755 (executable)
--- a/devscripts/release
+++ b/devscripts/release
@@ -6,13 +6,13 @@ chmod -R a+rX . &&
 set-commit-date.py &&
 
 python setup.py build_py &&
-python setup.py build &&
+python setup.py build --executable '/usr/bin/env python' &&
 python setup.py sdist &&
 
 for py in 2.6 2.7 3.4 3.5 3.6; do
    find build -name '*.py[co]' -delete &&
    python$py setup.py build_py &&
-   python$py setup.py build &&
+   python$py setup.py build --executable '/usr/bin/env python' &&
    python$py    -m compileall build &&
    python$py -O -m compileall build &&
    python$py setup.py bdist_egg || exit 1