Searched refs:file_double_field_restart (Results 1 – 1 of 1) sorted by relevance
335 file_double_field_restart=file_double_field_restart.dat336 if [ -e $file_double_field_restart ]; then337 rm $file_double_field_restart348 check_field_restart "$file_double_field_restart" "$file_integer_field_restart" "$field" 362 N_restart_fields_double=`cat $file_double_field_restart | wc -l`376 cat $file_double_field_restart >> $file388 rm $file_double_field_restart