[RFC] Send new ARI warnings to gdb_testers mailing list

["Pierre Muller" <muller@ics.u-strasbg.fr>]

  To give more echo to new ARI warnings,
I propose to automatically generate
a email to gdb-testers@sourceware.org
each time the result file
ari.source.bug changes.

The change is contained in gdbadmin/ss/update-web-ari

 I would like reactions on:

1) is this a good idea?
2) is the syntax for the non-empty file correct?
3) is gdb-testers mailing list acceptable for this change?

Pierre Muller




Index: update-web-ari
===================================================================
RCS file: /cvs/gdbadmin/ss/update-web-ari,v
retrieving revision 1.141
diff -u -r1.141 update-web-ari
--- update-web-ari      6 Apr 2009 21:27:02 -0000       1.141
+++ update-web-ari      22 Apr 2009 22:03:12 -0000
@@ -157,10 +157,19 @@

 if ${check_source_p} && test -d "${srcdir}"
 then
+    cp -f ${wwwdir}/ari.source.bug ${wwwdir}/ari.source.old
     echo "`date`: Checking source code" 1>&2
     ( cd "${srcdir}" && /bin/sh $HOME/ss/gdb_find.sh "${project}" | \
        xargs /bin/sh $HOME/ss/gdb_ari.sh -Werror -Wall --print-idx
     ) > ${wwwdir}/ari.source.bug
+    difffile=${wwwdir}/ari.source.diff
+
+    diff ${wwwdir}/ari.source.old ${wwwdir}/ari.source.bug > ${difffile}
+    if [ -s ${difffile} ]; then
+       # Send an email to gdb-testers@sourceware.org
+       mutt -s "ARI warning list change `date`" -i ${difffile} \
+           gdb-testers@sourceware.org
+    fi
 fi