Changeset 2603 for trunk

Timestamp:

2011-02-21T17:03:01+01:00 (13 years ago)

Author:

flavoni

Message:

replaced bad sed in add_key option, see ticket #801

File:

• trunk/NEMOGCM/TOOLS/COMPILE/Fadd_keys.sh (modified) (1 diff)

trunk/NEMOGCM/TOOLS/COMPILE/Fadd_keys.sh

@@ -66 +66 @@
  for i in ${list_add_key} ; do
    if [ "$(echo ${i} | grep -c key_nproc )" -ne 0 ] ; then
-      sed -e "s/key_nproc[ij]=.* //"  ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm >  ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm.tmp
+      sed -e "s/key_nproc[ij]=.[0-9]* //"  ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm >  ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm.tmp
             mv ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm.tmp   ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm
       echo " "