--- MITgcm/verification/testreport	2003/10/04 14:21:58	1.9.2.9
+++ MITgcm/verification/testreport	2003/10/04 14:33:58	1.9.2.10
@@ -1,6 +1,6 @@
 #!/bin/bash
 #
-#  $Header: /home/ubuntu/mnt/e9_copy/MITgcm/verification/testreport,v 1.9.2.9 2003/10/04 14:21:58 edhill Exp $
+#  $Header: /home/ubuntu/mnt/e9_copy/MITgcm/verification/testreport,v 1.9.2.10 2003/10/04 14:33:58 edhill Exp $
 #
 
 usage()
@@ -193,7 +193,7 @@
 		# echo "  command=\"$command\""
 	    fi
 	    if test "x$IEEE" != x ; then
-		command="$command --ieee=$IEEE"
+		command="$command -ieee"
 	    fi
 	    $command > make.log 2>&1
 	    RETVAL=$?