--- a/configure	Mon Aug 13 08:55:32 2007 +0200
+++ b/configure	Mon Aug 13 08:56:04 2007 +0200
@@ -2394,6 +2394,7 @@
     decosf1-3		) opsys=decosf1-3-static ;;
     decosf3-1		) opsys=decosf3-1-static ;;
     decosf3-2		) opsys=decosf3-2-static ;;
+    decosf4-0		) opsys=decosf4-0-static ;;
     linux		) opsys=linux-static ;;
   esac
 fi
@@ -8263,15 +8264,15 @@
 # This directory was configured as follows,
 # on host `(hostname || uname -n) 2>/dev/null | sed 1q`:
 #
-# $0 $configure_args
+# $0 $quoted_arguments
 
 ac_cs_usage="Usage: config.status [--recheck] [--version] [--help]"
 for ac_option
 do
   case "\$ac_option" in
   -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
-    echo running \${CONFIG_SHELL-/bin/sh} $0 $configure_args --no-create
-    exec \${CONFIG_SHELL-/bin/sh} $0 $configure_args --no-create ;;
+    echo running \${CONFIG_SHELL-/bin/sh} $0 $quoted_arguments --no-create
+    exec \${CONFIG_SHELL-/bin/sh} $0 $quoted_arguments --no-create ;;
   -version | --version | --versio | --versi | --vers | --ver | --ve | --v)
     echo "config.status generated by autoconf version 1.11"
     exit 0 ;;