repo.or.cz
/
git
/
gitster.git
/
blob
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
The sixteenth batch
[git/gitster.git]
/
generate-python.sh
blob
31ac115689d9cb1736f170c3b8215592bd7baf3f
1
#!/bin/sh
2
3
set -e
4
5
if
test
$#
-ne
3
6
then
7
echo
>&
2
"USAGE:
$0
<GIT_BUILD_OPTIONS> <INPUT> <OUTPUT>"
8
exit
1
9
fi
10
11
GIT_BUILD_OPTIONS
=
"
$1
"
12
INPUT
=
"
$2
"
13
OUTPUT
=
"
$3
"
14
15
.
"
$GIT_BUILD_OPTIONS
"
16
17
sed
-e
"1s|#!.*python|#!
$PYTHON_PATH
|"
\
18
"
$INPUT
"
>
"
$OUTPUT
+"
19
chmod
a
+
x
"
$OUTPUT
+"
20
mv
"
$OUTPUT
+"
"
$OUTPUT
"