--- tme/ic/ieee754/ieee754-auto.h	2018/04/24 16:40:26	1.1
+++ tme/ic/ieee754/ieee754-auto.h	2018/04/24 16:40:26	1.1.1.1
@@ -1,6 +1,6 @@
 /* automatically generated by ieee754-misc-auto.sh, do not edit! */
 #include <tme/common.h>
-_TME_RCSID("$Id: ieee754-auto.h,v 1.1 2018/04/24 16:40:26 root Exp $");
+_TME_RCSID("$Id: ieee754-auto.h,v 1.1.1.1 2018/04/24 16:40:26 root Exp $");
 
 
 /* decide which builtin C floating-point type is the best match for