Gilles Chanteperdrix wrote:
> --- /dev/null	2006-05-03 22:25:59.000000000 +0200
> +++ include/rtdm/rttesting.h	2006-06-07 18:50:14.000000000 +0200
> @@ -0,0 +1,188 @@
...
> + *
> + * @{
> + */
> +
> +#ifndef _RTBENCHMARK_H
> +#define _RTBENCHMARK_H

Hmm, there might be further renamings required. Could you double-check
(e.g. grep -ri benchmark)?

Jan