git://git.onelab.eu
/
build.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
bd80f2c
)
typo
author
Marc Fiuczynski
<mef@cs.princeton.edu>
Wed, 9 Jan 2008 20:24:52 +0000
(20:24 +0000)
committer
Marc Fiuczynski
<mef@cs.princeton.edu>
Wed, 9 Jan 2008 20:24:52 +0000
(20:24 +0000)
vbuild-nightly.sh
patch
|
blob
|
history
diff --git
a/vbuild-nightly.sh
b/vbuild-nightly.sh
index
2dea366
..
3a87d36
100755
(executable)
--- a/
vbuild-nightly.sh
+++ b/
vbuild-nightly.sh
@@
-110,7
+110,7
@@
function success () {
summary $LOG >> ${WEBLOG}
touch ${WEBLOG}.ok
if [ -n "$MAILTO" ] ; then
- (echo "$PLDISTRO ($BASE) build for $FCDISTRO completed on $(date)" ) | mail -s "Successful
l
build for ${BASE}" $MAILTO
+ (echo "$PLDISTRO ($BASE) build for $FCDISTRO completed on $(date)" ) | mail -s "Successful build for ${BASE}" $MAILTO
fi
exit 0
}