From 151e5791d5946051bbec80c14b470eeb3e79d844 Mon Sep 17 00:00:00 2001
From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Tue, 22 Mar 2005 16:49:31 +0000
Subject: [PATCH] - apparently bash -s doesn't read all of its piped input for
 some   reason. Contort how we are called from the crontab.

---
 crontab | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/crontab b/crontab
index 5af9c060..710234a4 100644
--- a/crontab
+++ b/crontab
@@ -3,7 +3,7 @@
 #
 # TMP=/tmp EDITOR=emacs crontab crontab
 #
-# $Id: crontab,v 1.11 2005/02/14 15:09:07 mlhuang Exp $
+# $Id: crontab,v 1.12 2005/03/10 20:57:06 mlhuang Exp $
 #
 
 SHELL=/bin/bash
@@ -20,4 +20,4 @@ MODULE=build
 0 0 * * *	cvs -d $CVSROOT checkout -p $MODULE/crontab 2>/dev/null | crontab -
 
 # nightly build
-17 5 * * *	cvs -d $CVSROOT checkout -p $MODULE/build.sh 2>/dev/null | $SHELL -s -- -b $HOME/build/nightly -m $MAILTO -x 7
+17 5 * * *	SCRIPT=$(mktemp /tmp/build.sh.XXXXXX) ; cvs -d $CVSROOT checkout -p $MODULE/build.sh >$SCRIPT 2>/dev/null && $SHELL $SCRIPT -b $HOME/build/nightly -m $MAILTO -x 7 ; rm -f $SCRIPT
-- 
2.47.0