Replace other occurences of git-FOO by git FOO
This commit is contained in:
parent
b4ecf7c7a6
commit
4c5d3c235b
2 changed files with 4 additions and 4 deletions
|
@ -1,5 +1,5 @@
|
|||
#!/bin/sh -e
|
||||
# Run this script after a fresh git-clone to bring the source tree
|
||||
# Run this script after a fresh git clone to bring the source tree
|
||||
# into a state where you can run configure.
|
||||
aclocal -I m4
|
||||
autoconf
|
||||
|
|
|
@ -112,7 +112,7 @@ then
|
|||
do
|
||||
sleep "`expr 5 + ${RETR}`"
|
||||
RETR="`expr 1 + ${RETR}`"
|
||||
[ "${RETR}" -gt 5 ] && err "git-clone Timeout after ${RETR} retres."
|
||||
[ "${RETR}" -gt 5 ] && err "git clone Timeout after ${RETR} retres."
|
||||
done
|
||||
cd empserver || err "Could not cd to ${BOXDIR}/${WORKDIR}/empserver."
|
||||
else
|
||||
|
@ -175,8 +175,8 @@ then
|
|||
echo ""
|
||||
fi
|
||||
|
||||
git-add include/emptime.h src/lib/gen/emptime.c
|
||||
git-pull
|
||||
git add include/emptime.h src/lib/gen/emptime.c
|
||||
git pull
|
||||
sh ./bootstrap
|
||||
./configure --prefix ${BOXDIR}/${WORKDIR}/emp4 ${CONFIGURE_OPTIONS}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue