diff --git a/ChangeLog b/ChangeLog
index 5fe28d7..1583bac 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2006-12-19  Bruno Haible  <bruno@clisp.org>
+
+	* autoconf/intparam.c (main): Use 'return', not exit().
+	* autoconf/floatparam.c (main): Likewise.
+	Reported by Ralf Wildenhues <Ralf.Wildenhues@gmx.de>.
+
 2006-12-11  Richard B. Kreckel  <kreckel@ginac.de>
 
 	Extend the exponent range from 32 bits to 64 bits on selected platforms.
diff --git a/autoconf/floatparam.c b/autoconf/floatparam.c
index f62ae6a..9d96cb5 100644
--- a/autoconf/floatparam.c
+++ b/autoconf/floatparam.c
@@ -115,11 +115,6 @@ int main()
 #endif
   flipped_double();
 
-#if defined(__cplusplus)
   if (ferror(stdout)) return 1;
   return 0;
-#else
-  if (ferror(stdout)) { exit(1); }
-  exit(0);
-#endif
 }
diff --git a/autoconf/intparam.c b/autoconf/intparam.c
index eb2ae97..062eb7d 100644
--- a/autoconf/intparam.c
+++ b/autoconf/intparam.c
@@ -1,11 +1,11 @@
 #line 1 "intparam.d"
-/* Bestimmung einiger Maschinen-Parameter und -Abhängigkeiten */
+/* Bestimmung einiger Maschinen-Parameter und -Abh�gigkeiten */
 /* und Ausgabe in ein Include-File */
 /* Bruno Haible 10.9.1991, 12.10.1992, 6.12.1992, 24.10.1993 */
 
 /* Auf einigen Systemen werden in <sys/types.h> die Typen uchar, ushort, uint, */
 /* ulong definiert. Normalerweise reicht _POSIX_SOURCE aus, dies zu verhindern, */
-/* bei AIX 3.2.5 (rs6000-ibm-aix3.2.5) jedoch nicht. Wir müssen Gewalt anwenden. */
+/* bei AIX 3.2.5 (rs6000-ibm-aix3.2.5) jedoch nicht. Wir mssen Gewalt anwenden. */
 #define _POSIX_SOURCE
 #define uchar  os_uchar
 #define ushort os_ushort
@@ -43,7 +43,7 @@ typedef unsigned long long  ulonglong;
 #endif
 typedef int (function)();
 
-static int random_table[256] = /* 2048 zufällige Bits, hier von pi */
+static int random_table[256] = /* 2048 zuf�lige Bits, hier von pi */
   { 0xC9,0x0F,0xDA,0xA2,0x21,0x68,0xC2,0x34,0xC4,0xC6,0x62,0x8B,
     0x80,0xDC,0x1C,0xD1,0x29,0x02,0x4E,0x08,0x8A,0x67,0xCC,0x74,
     0x02,0x0B,0xBE,0xA6,0x3B,0x13,0x9B,0x22,0x51,0x4A,0x08,0x79,
@@ -347,7 +347,7 @@ void main5(void) {
       if (!sign_extends && !zero_extends)                                                                  \
         printf("#error \"Casts from %s to %s works in an unknown manner!!\"\n",typestr1,typestr2);         \
     }
-  /* erst Casts zwischen Integers vermutlich gleicher Größe: */
+  /* erst Casts zwischen Integers vermutlich gleicher Gr�e: */
   test_integer_casts(schar,uchar,"char","unsigned char",char_bitsize,uchar_bitsize,0);
   test_integer_casts(short,ushort,"short","unsigned short",short_bitsize,ushort_bitsize,0);
   test_integer_casts(int,uint,"int","unsigned int",int_bitsize,uint_bitsize,0);
@@ -360,7 +360,7 @@ void main5(void) {
   test_integer_casts(longlong,ulonglong,"long long","unsigned long long",longlong_bitsize,ulonglong_bitsize,0);
   test_integer_casts(ulonglong,longlong,"unsigned long long","long long",ulonglong_bitsize,longlong_bitsize,0);
 #endif
-  /* dann Casts zwischen Integers unterschiedlicher Größe, aber gleichen Vorzeichens: */
+  /* dann Casts zwischen Integers unterschiedlicher Gr�e, aber gleichen Vorzeichens: */
   test_integer_casts(uchar,ushort,"unsigned char","unsigned short",uchar_bitsize,ushort_bitsize,1);
   test_integer_casts(uchar,uint,"unsigned char","unsigned int",uchar_bitsize,uint_bitsize,1);
   test_integer_casts(uchar,ulong,"unsigned char","unsigned long",uchar_bitsize,ulong_bitsize,1);
@@ -385,7 +385,7 @@ void main5(void) {
   test_integer_casts(int,longlong,"int","long long",int_bitsize,longlong_bitsize,2);
   test_integer_casts(long,longlong,"long","long long",long_bitsize,longlong_bitsize,2);
 #endif
-  /* dann Casts zwischen Integers unterschiedlicher Größe und unterschiedlichen Vorzeichens: */
+  /* dann Casts zwischen Integers unterschiedlicher Gr�e und unterschiedlichen Vorzeichens: */
   test_integer_casts(uchar,short,"unsigned char","short",uchar_bitsize,short_bitsize,1);
   test_integer_casts(uchar,int,"unsigned char","int",uchar_bitsize,int_bitsize,1);
   test_integer_casts(uchar,long,"unsigned char","long",uchar_bitsize,long_bitsize,1);
@@ -578,11 +578,6 @@ int main()
   main8();
   main9();
   main10();
-#if defined(__cplusplus)
   if (ferror(stdout)) return 1;
   return 0;
-#else
-  if (ferror(stdout)) { exit(1); }
-  exit(0);
-#endif
 }