mirror of
https://github.com/ipfs/kubo.git
synced 2025-06-26 15:42:21 +08:00
@ -35,8 +35,8 @@ aggregate: clean-test-results $(T)
|
||||
|
||||
deps: $(SHARNESS) $(BINS) curl
|
||||
|
||||
$(SHARNESS):
|
||||
@echo "*** installing $@ ***"
|
||||
$(SHARNESS): FORCE
|
||||
@echo "*** checking $@ ***"
|
||||
lib/install-sharness.sh
|
||||
|
||||
bin/%: FORCE
|
||||
|
@ -6,21 +6,42 @@
|
||||
#
|
||||
|
||||
# settings
|
||||
version=50229a79ba22b2f13ccd82451d86570fecbd194c
|
||||
version=5eee9b51b5621cec95a64018f0cc779963b230d2
|
||||
urlprefix=https://github.com/mlafeldt/sharness.git
|
||||
clonedir=lib
|
||||
sharnessdir=sharness
|
||||
|
||||
if test -f "$clonedir/$sharnessdir/SHARNESS_VERSION_$version"
|
||||
then
|
||||
# There is the right version file. Great, we are done!
|
||||
exit 0
|
||||
fi
|
||||
|
||||
die() {
|
||||
echo >&2 "$@"
|
||||
exit 1
|
||||
echo >&2 "$@"
|
||||
exit 1
|
||||
}
|
||||
|
||||
mkdir -p "$clonedir" || die "Could not create '$clonedir' directory"
|
||||
cd "$clonedir" || die "Could not cd into '$clonedir' directory"
|
||||
checkout_version() {
|
||||
git checkout "$version" || die "Could not checkout '$version'"
|
||||
rm -f SHARNESS_VERSION_* || die "Could not remove 'SHARNESS_VERSION_*'"
|
||||
touch "SHARNESS_VERSION_$version" || die "Could not create 'SHARNESS_VERSION_$version'"
|
||||
echo "Sharness version $version is checked out!"
|
||||
}
|
||||
|
||||
git clone "$urlprefix" || die "Could not clone '$urlprefix'"
|
||||
cd "$sharnessdir" || die "Could not cd into '$sharnessdir' directory"
|
||||
git checkout "$version" || die "Could not checkout '$version'"
|
||||
if test -d "$clonedir/$sharnessdir/.git"
|
||||
then
|
||||
# We need to update sharness!
|
||||
cd "$clonedir/$sharnessdir" || die "Could not cd into '$clonedir/$sharnessdir' directory"
|
||||
git fetch || die "Could not fetch to update sharness"
|
||||
checkout_version
|
||||
else
|
||||
# We need to clone sharness!
|
||||
mkdir -p "$clonedir" || die "Could not create '$clonedir' directory"
|
||||
cd "$clonedir" || die "Could not cd into '$clonedir' directory"
|
||||
|
||||
git clone "$urlprefix" || die "Could not clone '$urlprefix'"
|
||||
cd "$sharnessdir" || die "Could not cd into '$sharnessdir' directory"
|
||||
checkout_version
|
||||
fi
|
||||
exit 0
|
||||
|
Reference in New Issue
Block a user