Check submission script

[Sebastian Huber]

Hello,

the check submission script

http://git.rtems.org/rtems-testing/tree/merge-helpers/check_submission

contains a test for timing values

   # Hopefully have some output from the tmtests
   echo "=== Checking for timing information"
   c=$(ls -1 times* 2>/dev/null | wc -l)
   if [[ ${c} -eq 0 ]]; then
     echo "Please run the timing tests and include the results."
   fi

Is it really useful to add such timing values to the sources?  They may be out 
of date right with the next commit.

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.