blob: 52c9b044eff351c92fefdf70518de5c74d83b59d [file] [log] [blame]
#!/bin/bash
#
# update.sh --
# Update a package in sources/. If the package is a git
# repository, then do a git pull. (Use download.sh for
# tarballs.)
#
# Usage: update.sh <target_dir>
#
# where:
#
# <target_dir> is the local name of a git repository directory.
#
set -e
if type "git" > /dev/null; then
echo "Pulling $1"
cd $1
git pull
else
echo "ERROR: \"git\" is required to automatically update repositories."
exit 1
fi
exit 0