Index: /LMDZ5/trunk/tools/diffdef.sh
===================================================================
--- /LMDZ5/trunk/tools/diffdef.sh	(revision 2425)
+++ /LMDZ5/trunk/tools/diffdef.sh	(revision 2426)
@@ -2,5 +2,5 @@
 # Author: Lionel GUEZ
 
-# This script compares files "*.def" other than "traceur.def" and
+# This script compares files "*.def" other than "*traceur.def" and
 # "out.def" in two directories.
 
@@ -44,8 +44,9 @@
   rm -f all.def
   echo "def files in $my_directory:"
-  ls !(traceur|out).def
+  ls !(*traceur|out).def
 
   # Concatenate and format the def files:
-  cat !(traceur|out).def | tr -d " " | grep -v -E '(^#|^!|INCLUDEDEF|^$)' \
+  cat !(*traceur|out).def | tr '\r' '\n' | tr -d " " \
+      | grep -v -E '(^#|^!|INCLUDEDEF|^$)' \
       | tr '[:lower:]' '[:upper:]' | sed 's/=[NF]$/=FALSE/' \
       | sed 's/=[YT]$/=TRUE/' | sort >all.def