Changeset 8282

Timestamp:

2017-07-05T15:46:50+02:00 (8 years ago)

Author:

clem

Message:

solve issues with adding/deleting keys for all the keys

File:

• branches/2017/dev_r8183_ICEMODEL/NEMOGCM/TOOLS/COMPILE/Fadd_keys.sh (modified) (1 diff)

branches/2017/dev_r8183_ICEMODEL/NEMOGCM/TOOLS/COMPILE/Fadd_keys.sh

@@ -65 +65 @@
  echo "Adding keys in : ${NEW_CONF}" 
  for i in ${list_add_key} ; do
-   if [ "$(cat ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm | grep -c "$i" )" -ne 0 ] ; then
+   if [ "$(cat ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm | grep -c "\<$i\>" )" -ne 0 ] ; then
       echo "key $i already present in cpp_${NEW_CONF}.fcm" 
    else