--- MITgcm/tools/build_options/linux_ia32_g77	2003/10/01 18:50:27	1.2
+++ MITgcm/tools/build_options/linux_ia32_g77	2003/10/09 04:19:20	1.3
@@ -1,6 +1,7 @@
 #!/bin/bash
 #
-#  $Header: /home/ubuntu/mnt/e9_copy/MITgcm/tools/build_options/linux_ia32_g77,v 1.2 2003/10/01 18:50:27 edhill Exp $
+#  $Header: /home/ubuntu/mnt/e9_copy/MITgcm/tools/build_options/linux_ia32_g77,v 1.3 2003/10/09 04:19:20 edhill Exp $
+#  $Name:  $
 #