From 046b5f7e9509bbd9aefed992d2e8346255a10172 Mon Sep 17 00:00:00 2001
From: Hugo Clement <alliance-cvs@asim.lip6.fr>
Date: Thu, 24 Oct 2002 10:28:32 +0000
Subject: [PATCH] =?UTF-8?q?Effacement=20des=20fichiers=20interm=C3=A9diair?=
 =?UTF-8?q?es=20sous=20Cygwin?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 alliance/src/genlib/src/genlib.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/alliance/src/genlib/src/genlib.sh b/alliance/src/genlib/src/genlib.sh
index 9ef4c6db..a2393726 100755
--- a/alliance/src/genlib/src/genlib.sh
+++ b/alliance/src/genlib/src/genlib.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: genlib.sh,v 1.8 2002/10/15 17:09:49 jpc Exp $
+# $Id: genlib.sh,v 1.9 2002/10/24 10:28:32 hcl Exp $
 #                                                                        
 # /------------------------------------------------------------------\
 # |                                                                  |
@@ -292,7 +292,7 @@ $CSOURCE.o: $CSOURCE.c
 
 
 clean:
-	rm -f $CSOURCE $CSOURCE.o
+	rm -f $CSOURCE $CSOURCE.o $CSOURCE.exe
 
 
 EOF
@@ -346,7 +346,7 @@ EOF
 
  rm -f $MAKEFILE
 
- if [ "$KEEP_BIN"  != "y" ]; then rm -f $CSOURCE >> $CSOURCE.grr 2>&1; fi
+ if [ "$KEEP_BIN"  != "y" ]; then rm -f $CSOURCE $CSOURCE.exe >> $CSOURCE.grr 2>&1; fi
 
  if [ \( $exit_code -eq 0 \) -a \( "$KEEP_LOG" != "y" \) ]; then
    rm -f $CSOURCE.grr > /dev/null 2>&1