# along with this program. If not, see <http://www.gnu.org/licenses/>.
-set -e
+set -eu
git_clone() {
git clone "$1" "$2" >/dev/null
# Don't overwrite an existing file/directory.
if test -e tmp; then
- echo "tmp/ already exists!"
+ echo 'tmp/ already exists!'
exit 1
fi