summaryrefslogtreecommitdiffstats
path: root/config
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-10-15 17:50:56 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-10-15 17:50:56 +0000
commitdef31744f996fecdb187d43de38ddae2ff3ab881 (patch)
tree13c19fb7d95f21bb0f8b1ab437d38977f2214577 /config
parent0a6f6a78570284f9476171216050986ea00f89db (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')
-rw-r--r--config/Makefile-templ2
-rw-r--r--config/Makefile.mingw2
-rw-r--r--config/Makefile.msvc2
-rw-r--r--config/Makefile.msvc642
-rw-r--r--config/auto-aux/align.c2
-rw-r--r--config/auto-aux/async_io.c2
-rw-r--r--config/auto-aux/bytecopy.c2
-rw-r--r--config/auto-aux/dblalign.c2
-rw-r--r--config/auto-aux/divmod.c2
-rw-r--r--config/auto-aux/elf.c2
-rw-r--r--config/auto-aux/endian.c2
-rw-r--r--config/auto-aux/expm1.c2
-rw-r--r--config/auto-aux/getgroups.c2
-rw-r--r--config/auto-aux/gethostbyaddr.c2
-rw-r--r--config/auto-aux/gethostbyname.c2
-rw-r--r--config/auto-aux/ia32sse2.c2
-rw-r--r--config/auto-aux/initgroups.c2
-rw-r--r--config/auto-aux/int64align.c2
-rw-r--r--config/auto-aux/longlong.c2
-rw-r--r--config/auto-aux/schar.c2
-rw-r--r--config/auto-aux/schar2.c2
-rw-r--r--config/auto-aux/setgroups.c2
-rw-r--r--config/auto-aux/sighandler.c2
-rw-r--r--config/auto-aux/signals.c2
-rw-r--r--config/auto-aux/sizes.c2
-rw-r--r--config/auto-aux/stackov.c2
-rw-r--r--config/auto-aux/tclversion.c2
-rw-r--r--config/m-nt.h2
-rw-r--r--config/m-templ.h2
-rw-r--r--config/s-nt.h2
-rw-r--r--config/s-templ.h2
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. */