summaryrefslogtreecommitdiffstats
path: root/repo
diff options
context:
space:
mode:
Diffstat (limited to 'repo')
-rwxr-xr-xrepo10
1 files changed, 1 insertions, 9 deletions
diff --git a/repo b/repo
index 80eff8ff..96302c0e 100755
--- a/repo
+++ b/repo
@@ -1,4 +1,4 @@
1#!/bin/sh 1#!/usr/bin/env python
2 2
3## repo default configuration 3## repo default configuration
4## 4##
@@ -19,14 +19,6 @@ REPO_REV='stable'
19# See the License for the specific language governing permissions and 19# See the License for the specific language governing permissions and
20# limitations under the License. 20# limitations under the License.
21 21
22magic='--calling-python-from-/bin/sh--'
23"""exec" python -E "$0" "$@" """#$magic"
24if __name__ == '__main__':
25 import sys
26 if sys.argv[-1] == '#%s' % magic:
27 del sys.argv[-1]
28del magic
29
30# increment this whenever we make important changes to this script 22# increment this whenever we make important changes to this script
31VERSION = (1, 19) 23VERSION = (1, 19)
32 24