-#!/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}