-#!/bin/bash
+#!/usr/bin/ssh-agent /bin/bash
#
# PlanetLab release build script. Intended to be used by scripts and
# crontabs to build nightly releases (default). Can also be invoked
# manually to build a tagged release (-r) in the current directory.
#
-# $Id: build.sh,v 1.6 2004/08/05 22:43:51 mlh-pl_rpm Exp $
+# $Id: build.sh,v 1.7 2004/08/09 15:13:59 mlh-pl_rpm Exp $
#
# Set defaults
done
BASE=${BASE}${i}
+# XXX Hack to store the pup key as well as the bui key
+for i in `grep -l "BEGIN.*PRIVATE KEY" $HOME/.ssh/*` ; do
+ SSH_ASKPASS=/bin/false ssh-add $i
+done
+
# Build
(
cvs -d ${CVSROOT} export -r ${TAG} -d ${BASE} ${MODULE}