# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1178629072 0
# Node ID ccb2d742e917e8708803e7fe9275ece18f1d67bd
# Parent  5f84983926e9efbdcfbee33c8adb09ca4ed828e6
Inform that a component is already extracted.

diff -r 5f84983926e9 -r ccb2d742e917 scripts/functions
--- a/scripts/functions	Tue May 08 12:54:06 2007 +0000
+++ b/scripts/functions	Tue May 08 12:57:52 2007 +0000
@@ -356,7 +356,10 @@
     esac
 
     # If the directory exists, then consider extraction and patching done
-    [ -d "${file}" ] && return 0
+    if [ -d "${file}" ]; then
+        CT_DoLog EXTRA "Already extracted \"${file}\""
+        return 0
+    fi
 
     CT_DoLog EXTRA "Extracting \"${file}\""
     case "${ext}" in