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

encore des pb de locks

This commit is contained in:
Olivier Sirol 2000-09-07 07:38:18 +00:00
parent 4a15cd0784
commit cecf75e66f
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CVSROOT/loginfo
View File

@ -21,5 +21,5 @@
#^CVSROOT (echo ""; who am i; echo %s; date; cat) >> $CVSROOT/CVSROOT/log-cvsroot #^CVSROOT (echo ""; who am i; echo %s; date; cat) >> $CVSROOT/CVSROOT/log-cvsroot
#ALL (date ; cat ; (sleep 2 ; cd /users/outil/alliance/latest ; cvs -q update -d ) &) >> $CVSROOT/CVSROOT/log-latest 2>&1 #ALL (date ; cat ; (sleep 2 ; cd /users/outil/alliance/latest ; cvs -q update -d ) &) >> $CVSROOT/CVSROOT/log-latest 2>&1
ALL (cat > /dev/null 2>&1 ; echo "Taper Ctrl-C peut avoir des consequences facheuses :-)") ALL ( cat > /dev/null 2>&1 ; echo "Taper Ctrl-C peut avoir des consequences facheuses :-)")
ALL (/users/outil/alliance/cvsroot/CVSROOT/postconfig &) ALL ( /users/outil/alliance/cvsroot/CVSROOT/postconfig & )

8
CVSROOT/postconfig
View File

@ -4,11 +4,11 @@
# Copyright (C) 1999, 2000 Czo <Olivier.Sirol@lip6.fr> # Copyright (C) 1999, 2000 Czo <Olivier.Sirol@lip6.fr>
# License: GPL (http://www.gnu.org/copyleft/gpl.html) # License: GPL (http://www.gnu.org/copyleft/gpl.html)
# Started: Sept 1999 # Started: Sept 1999
# Last Change: Thursday 07 September 2000, 09:28 # Last Change: Thursday 07 September 2000, 09:38
# Edit Time: 0:14:17 # Edit Time: 0:14:21
# Description: # Description:
# #
# $Id: postconfig,v 1.28 2000/09/07 07:28:53 czo Exp $ # $Id: postconfig,v 1.29 2000/09/07 07:38:18 czo Exp $
# #
PATH=/asim/gnu/bin:/usr/ucb:/usr/etc:/usr/local/bin:/bin:/usr/bin:${PATH} PATH=/asim/gnu/bin:/usr/ucb:/usr/etc:/usr/local/bin:/bin:/usr/bin:${PATH}
@ -66,7 +66,7 @@ echo "Diff"
echo "" echo ""
cd $UPDATE_IN cd $UPDATE_IN
cvs diff $MODIFIED_FILES | head -50 # cvs diff $MODIFIED_FILES | head -50
echo "" echo ""
echo "====================================================================" echo "===================================================================="
echo "Ce message est envoyé au personnes abonnées à alliance-programmers" echo "Ce message est envoyé au personnes abonnées à alliance-programmers"