--- a/configure.in	Wed Mar 03 19:24:33 2004 +0000
+++ b/configure.in	Wed Mar 03 19:27:58 2004 +0000
@@ -29,7 +29,7 @@
 EXTERN_CXXFLAGS="$CXXFLAGS"
 
 AC_INIT
-AC_REVISION($Revision: 1.447 $)
+AC_REVISION($Revision: 1.448 $)
 AC_PREREQ(2.57)
 AC_CONFIG_SRCDIR([src/octave.cc])
 AC_CONFIG_HEADER(config.h)
@@ -263,15 +263,15 @@
   ;;
   alpha*-*-*)
     if test "$GCC" = yes; then
-      OCTAVE_CC_FLAG(-mieee-with-inexact, [
-	ieee_fp_flag=-mieee-with-inexact
-	XTRA_CFLAGS="$XTRA_CFLAGS -mieee-with-inexact"
-	AC_MSG_RESULT([adding -mieee-with-inexact to XTRA_CFLAGS])])
+      OCTAVE_CC_FLAG(-mieee, [
+	ieee_fp_flag=-mieee
+	XTRA_CFLAGS="$XTRA_CFLAGS -mieee"
+	AC_MSG_RESULT([adding -mieee to XTRA_CFLAGS])])
 
-      OCTAVE_CXX_FLAG(-mieee-with-inexact, [
-	ieee_fp_flag=-mieee-with-inexact
-	XTRA_CXXFLAGS="$XTRA_CXXFLAGS -mieee-with-inexact"
-	AC_MSG_RESULT([adding -mieee-with-inexact to XTRA_CXXFLAGS])])
+      OCTAVE_CXX_FLAG(-mieee, [
+	ieee_fp_flag=-mieee
+	XTRA_CXXFLAGS="$XTRA_CXXFLAGS -mieee"
+	AC_MSG_RESULT([adding -mieee to XTRA_CXXFLAGS])])
     else
       OCTAVE_CC_FLAG(-ieee, [
 	ieee_fp_flag=-ieee