mirror of
https://git.openwrt.org/feed/packages.git
synced 2024-06-19 23:28:39 +02:00
9596937de3
build hosts with busybox fail with long options on rm command. Short versions are supported by all, so this makes it script compatible with busybox hosts as well. Signed-off-by: Oskari Rauta <oskari.rauta@gmail.com>
49 lines
803 B
Bash
Executable File
49 lines
803 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# USAGE: git-short-commit.sh <GIT_URL> <GIT_REF> <GIT_DIR>
|
|
#
|
|
|
|
set -e
|
|
|
|
error() {
|
|
echo "ERROR: ${*}" >&2
|
|
exit 1
|
|
}
|
|
|
|
GIT_URL="${1}"
|
|
if [ -z "${GIT_URL}" ]; then
|
|
error "Git URL not specified"
|
|
fi
|
|
|
|
GIT_REF="${2}"
|
|
if [ -z "${GIT_REF}" ]; then
|
|
error "Git reference not specified"
|
|
fi
|
|
|
|
GIT_DIR="${3}"
|
|
if [ -z "${GIT_DIR}" ]; then
|
|
error "Git clone directory not specified"
|
|
fi
|
|
|
|
clean_up() {
|
|
rm -rf "${GIT_DIR}"
|
|
}
|
|
trap clean_up EXIT
|
|
|
|
git init --quiet "${GIT_DIR}"
|
|
(
|
|
cd "${GIT_DIR}"
|
|
for PREFIX in "" "https://" "http://" "git@"; do
|
|
echo "Trying remote '${PREFIX}${GIT_URL}'" >&2
|
|
git remote add origin "${PREFIX}${GIT_URL}"
|
|
|
|
if git fetch --depth 1 origin "${GIT_REF}"; then
|
|
git checkout --detach FETCH_HEAD --
|
|
git rev-parse --short HEAD
|
|
break
|
|
fi
|
|
|
|
git remote remove origin
|
|
done
|
|
)
|