mirror of https://github.com/ecmwf/eccodes.git
Tools: Increase coverage
This commit is contained in:
parent
c3f13b323b
commit
3759b41c96
|
@ -136,5 +136,14 @@ set -e
|
|||
[ $status -ne 0 ]
|
||||
grep -q "No such file or directory" $fLog
|
||||
|
||||
# Options
|
||||
set +e
|
||||
${tools_dir}/metar_compare -a $metar_file $metar_file > $fLog 2>&1
|
||||
status=$?
|
||||
set -e
|
||||
[ $status -ne 0 ]
|
||||
grep -q "option requires" $fLog
|
||||
|
||||
|
||||
# Clean up
|
||||
rm -f $fLog $fMetarTmp
|
||||
|
|
Loading…
Reference in New Issue