- Timestamp:
- 2017-12-11T17:45:55+01:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/2017/dev_r8126_ROBUST08_no_ghost/NEMOGCM/TOOLS/COMPILE/Fadd_keys.sh
r7646 r8979 65 65 echo "Adding keys in : ${NEW_CONF}" 66 66 for i in ${list_add_key} ; do 67 if [ "$(cat ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm | grep -c " $i" )" -ne 0 ] ; then67 if [ "$(cat ${CONFIG_DIR}/${NEW_CONF}/cpp_${NEW_CONF}.fcm | grep -c "\<$i\>" )" -ne 0 ] ; then 68 68 echo "key $i already present in cpp_${NEW_CONF}.fcm" 69 69 else
Note: See TracChangeset
for help on using the changeset viewer.