diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-10-15 17:50:56 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-10-15 17:50:56 +0000 |
commit | def31744f996fecdb187d43de38ddae2ff3ab881 (patch) | |
tree | 13c19fb7d95f21bb0f8b1ab437d38977f2214577 /config | |
parent | 0a6f6a78570284f9476171216050986ea00f89db (diff) |
remove all $Id keywords
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'config')
31 files changed, 0 insertions, 62 deletions
diff --git a/config/Makefile-templ b/config/Makefile-templ index 626d30e84..409cd01fc 100644 --- a/config/Makefile-templ +++ b/config/Makefile-templ @@ -11,8 +11,6 @@ # # ######################################################################### -# $Id$ - ### Compile-time configuration ########## General configuration diff --git a/config/Makefile.mingw b/config/Makefile.mingw index aaf17f929..7336b59d3 100644 --- a/config/Makefile.mingw +++ b/config/Makefile.mingw @@ -11,8 +11,6 @@ # # ######################################################################### -# $Id$ - # Configuration for Windows, Mingw compiler ######### General configuration diff --git a/config/Makefile.msvc b/config/Makefile.msvc index d2d9562cd..0d81752cc 100644 --- a/config/Makefile.msvc +++ b/config/Makefile.msvc @@ -11,8 +11,6 @@ # # ######################################################################### -# $Id$ - # Configuration for Windows, Visual C++ compiler ######### General configuration diff --git a/config/Makefile.msvc64 b/config/Makefile.msvc64 index 82e0aaded..1ba9b6f8b 100644 --- a/config/Makefile.msvc64 +++ b/config/Makefile.msvc64 @@ -11,8 +11,6 @@ # # ######################################################################### -# $Id$ - # Configuration for Windows, Visual C++ compiler ######### General configuration diff --git a/config/auto-aux/align.c b/config/auto-aux/align.c index a04684b48..579db9c63 100644 --- a/config/auto-aux/align.c +++ b/config/auto-aux/align.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> #include <signal.h> #include <setjmp.h> diff --git a/config/auto-aux/async_io.c b/config/auto-aux/async_io.c index 2ce3da725..3e2bb983a 100644 --- a/config/auto-aux/async_io.c +++ b/config/auto-aux/async_io.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> #include <fcntl.h> #include <signal.h> diff --git a/config/auto-aux/bytecopy.c b/config/auto-aux/bytecopy.c index 2006147fd..34f29c486 100644 --- a/config/auto-aux/bytecopy.c +++ b/config/auto-aux/bytecopy.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - char buffer[27]; #ifdef reverse diff --git a/config/auto-aux/dblalign.c b/config/auto-aux/dblalign.c index 91d4194c0..e86fb198e 100644 --- a/config/auto-aux/dblalign.c +++ b/config/auto-aux/dblalign.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> #include <signal.h> #include <setjmp.h> diff --git a/config/auto-aux/divmod.c b/config/auto-aux/divmod.c index d59bf31cc..e85e4b3fc 100644 --- a/config/auto-aux/divmod.c +++ b/config/auto-aux/divmod.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* Test semantics of division and modulus for negative arguments */ long div4[] = diff --git a/config/auto-aux/elf.c b/config/auto-aux/elf.c index 27be98d6b..c7548ae4a 100644 --- a/config/auto-aux/elf.c +++ b/config/auto-aux/elf.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> int main(int argc, char ** argv) diff --git a/config/auto-aux/endian.c b/config/auto-aux/endian.c index b019eb1c7..91312f716 100644 --- a/config/auto-aux/endian.c +++ b/config/auto-aux/endian.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include "m.h" #ifndef ARCH_SIXTYFOUR diff --git a/config/auto-aux/expm1.c b/config/auto-aux/expm1.c index db4413b92..2cfbe7371 100644 --- a/config/auto-aux/expm1.c +++ b/config/auto-aux/expm1.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <math.h> volatile double x; diff --git a/config/auto-aux/getgroups.c b/config/auto-aux/getgroups.c index b69b0be41..e3f73f52a 100644 --- a/config/auto-aux/getgroups.c +++ b/config/auto-aux/getgroups.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <sys/types.h> #include <limits.h> diff --git a/config/auto-aux/gethostbyaddr.c b/config/auto-aux/gethostbyaddr.c index f6d36a7f3..f09d65a80 100644 --- a/config/auto-aux/gethostbyaddr.c +++ b/config/auto-aux/gethostbyaddr.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #ifndef _REENTRANT /* This helps detection on Digital Unix... */ #define _REENTRANT diff --git a/config/auto-aux/gethostbyname.c b/config/auto-aux/gethostbyname.c index 96a39438d..da52d89b4 100644 --- a/config/auto-aux/gethostbyname.c +++ b/config/auto-aux/gethostbyname.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #ifndef _REENTRANT /* This helps detection on Digital Unix... */ #define _REENTRANT diff --git a/config/auto-aux/ia32sse2.c b/config/auto-aux/ia32sse2.c index 8ba81601b..47bafb60d 100644 --- a/config/auto-aux/ia32sse2.c +++ b/config/auto-aux/ia32sse2.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* Test whether IA32 assembler supports SSE2 instructions */ int main() diff --git a/config/auto-aux/initgroups.c b/config/auto-aux/initgroups.c index 7b9c23983..0086e92a4 100644 --- a/config/auto-aux/initgroups.c +++ b/config/auto-aux/initgroups.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <errno.h> #include <sys/types.h> diff --git a/config/auto-aux/int64align.c b/config/auto-aux/int64align.c index b087a3d66..9ae8a5bc7 100644 --- a/config/auto-aux/int64align.c +++ b/config/auto-aux/int64align.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> #include <signal.h> #include <setjmp.h> diff --git a/config/auto-aux/longlong.c b/config/auto-aux/longlong.c index 424e540fd..e18f9e28f 100644 --- a/config/auto-aux/longlong.c +++ b/config/auto-aux/longlong.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> #include <string.h> diff --git a/config/auto-aux/schar.c b/config/auto-aux/schar.c index e3e81e395..a9c355e51 100644 --- a/config/auto-aux/schar.c +++ b/config/auto-aux/schar.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - char foo[]="\377"; int main(int argc, char ** argv) diff --git a/config/auto-aux/schar2.c b/config/auto-aux/schar2.c index d041af183..9d18d2ac4 100644 --- a/config/auto-aux/schar2.c +++ b/config/auto-aux/schar2.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - signed char foo[]="\377"; int main(int argc, char ** argv) diff --git a/config/auto-aux/setgroups.c b/config/auto-aux/setgroups.c index 63ac1b8c3..4be3c1d7a 100644 --- a/config/auto-aux/setgroups.c +++ b/config/auto-aux/setgroups.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <errno.h> #include <sys/types.h> diff --git a/config/auto-aux/sighandler.c b/config/auto-aux/sighandler.c index b36557c5f..3c341feae 100644 --- a/config/auto-aux/sighandler.c +++ b/config/auto-aux/sighandler.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <signal.h> int main(void) diff --git a/config/auto-aux/signals.c b/config/auto-aux/signals.c index 78ba8de69..ed84e9803 100644 --- a/config/auto-aux/signals.c +++ b/config/auto-aux/signals.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* To determine the semantics of signal handlers (System V: signal is reset to default behavior on entrance to the handler BSD: signal handler remains active). */ diff --git a/config/auto-aux/sizes.c b/config/auto-aux/sizes.c index 58fd6b23f..2700729d4 100644 --- a/config/auto-aux/sizes.c +++ b/config/auto-aux/sizes.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> int main(int argc, char **argv) diff --git a/config/auto-aux/stackov.c b/config/auto-aux/stackov.c index 47f252aa6..3e3181bd8 100644 --- a/config/auto-aux/stackov.c +++ b/config/auto-aux/stackov.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> #include <signal.h> #include <sys/resource.h> diff --git a/config/auto-aux/tclversion.c b/config/auto-aux/tclversion.c index 84a94033c..4608ee9f9 100644 --- a/config/auto-aux/tclversion.c +++ b/config/auto-aux/tclversion.c @@ -14,8 +14,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - #include <stdio.h> #include <tcl.h> #include <tk.h> diff --git a/config/m-nt.h b/config/m-nt.h index 80e0b5ee6..a80b0ac5e 100644 --- a/config/m-nt.h +++ b/config/m-nt.h @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* Machine configuration, Intel x86 processors, Win32, Visual C++ or Mingw compiler */ diff --git a/config/m-templ.h b/config/m-templ.h index 6e09f64e4..a5497b56b 100644 --- a/config/m-templ.h +++ b/config/m-templ.h @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* Processor dependencies */ #define ARCH_SIXTYFOUR diff --git a/config/s-nt.h b/config/s-nt.h index a38d242a0..6df440b8a 100644 --- a/config/s-nt.h +++ b/config/s-nt.h @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* Operating system dependencies, Intel x86 processors, Windows NT */ #define OCAML_OS_TYPE "Win32" diff --git a/config/s-templ.h b/config/s-templ.h index 971bc48f1..d0748ae29 100644 --- a/config/s-templ.h +++ b/config/s-templ.h @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* Operating system and standard library dependencies. */ /* 0. Operating system type string. */ |