riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mail deconne

This commit is contained in:
Olivier Sirol 1999-10-29 08:47:30 +00:00
parent 3b2b1dbb51
commit ceac279355
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
CVSROOT/instool
View File

@ -7,11 +7,11 @@
# Author: Frédéric Pétrot (fred@pasta.fr.ea)
# for version 0
#
# $Id: instool,v 1.14 1999/10/21 13:53:13 czo Exp $
# $Id: instool,v 1.15 1999/10/29 08:47:30 czo Exp $
#
PATH=/users/outil1/alliance/cvsroot/CVSROOT:/asim/gnu/bin:/usr/local/bin:/usr/ucb:/usr/etc:/bin:/usr/bin:${PATH}
PATH=/users/outil1/alliance/cvsroot/CVSROOT:/asim/gnu/bin:/usr/ucb:/usr/etc:/usr/local/bin:/bin:/usr/bin:${PATH}
export PATH
#rsh ssh et .profile ...
@ -23,10 +23,8 @@ TMPDIR=$HOME/tmp
LOG=$TMPDIR/`basename $0`.$$
BUG=$TMPDIR/`basename $0`_bug.$$
ALCTEAM="alliance-programmers@asim.lip6.fr"
BUGTEAM="fred ludo czo"
# rep par defaut : alliance/archi/$MACHINE
# alliance/share/...
TARGET="SunOS Solaris Linux_elf Linux"
@ -343,6 +341,8 @@ echo " the default shell is now sh"
if [ -s $BUG ] ; then
mail -s "ALC : Problem while installing `basename $1`" $BUGTEAM < $BUG
fi
echo $* | mail -s "ALC : Install of `basename $1`" $ALCTEAM
echo $* | mail -s "ALC : Install of `basename $1`" alliance-programmers@asim.lip6.fr
cat $LOG >> $TMPDIR/`basename $1`.log
exit 0