Résultat mystérieux de AWK...

Bonjour,

j'aide par correspondanc eun ami à faire un petit tri avec AWK.
J'utilise le AWK de base de FreeBSD, il utilise GAWK sous Mac OS X,
mais cela dit les commandes sont si simples...

La partie END du programme awk comporte deux boucle 'for' qui ne comportent:
qu'une seule ligne "print"

END {
for ... {
print ... ;
}
for ... {
print ... ;
}
}

A titre de déboguage, nous avons pris la précaution de mettre "###" au début
des print:
print "###" ... ;
Le programme lui-même est encapsulé comme suit:

#!/bin/sh
awk '
...
' data.txt

pas archi élégant, mais au départ c'était censé être un quick'n dirty
bout de code pour résoudre un problème ultra-simple en quelques lignes.

De mon côté, tout se passe bien ; la sortie ne comporte que des lignes
commençat par ###. Normal.

De son côté (gawk sous Mac OS X), il a un truc du genre:

###
###
###
###
avant-avant dernière ligne de data.txt
avant dernière ligne de data.txt
dernière ligne de data.txt
###
###
###
###

Manifestement ce n'est pas le programme AWK lui-même qui imprime
ces lignes ; j'ai pensé qu'elles étaient sur stderr plutôt que stdout,
mais pas le temps de vérifier : il n'a que tcsh et je n'avais pas
en tête dans le bref laps de temps qui lui restait avant de quitter
son bureau le bon moyen pour rediriger stderr vers /dev/null sous tcsh
car apparemment 2>/dev/null ne marche pas sous tcsh.

Cela dit, avez-vous une idée ?
Par ailleurs, aucun message d'erreur de son côté. Pour autant que je puisse
juger, le reste de la sortie prouve que la ligne a correctement été traitée
par le programme (elle n'a pas été oubliée ; les champs ont correctement
été inerprétés, sinon les résultats ne seraient pas tout à fait les mêmes).

???

--
Thomas Baruchel