Fix broken Windows build

This commit is contained in:
Shahram Najm 2023-08-26 20:22:39 +01:00
parent 976cd94709
commit fd2a0fdea0
1 changed files with 7 additions and 6 deletions

View File

@ -74,11 +74,13 @@ status=$?
set -e
[ $status -eq 1 ]
set +e
${tools_dir}/codes_split_file 9 /dev/null
status=$?
set -e
[ $status -eq 1 ]
if [ $ECCODES_ON_WINDOWS -eq 0 ]; then
set +e
${tools_dir}/codes_split_file 9 /dev/null
status=$?
set -e
[ $status -eq 1 ]
fi
set +e
${tools_dir}/codes_split_file 0 $input
@ -86,7 +88,6 @@ status=$?
set -e
[ $status -eq 1 ]
# Clean up
cd $test_dir
rm -fr $temp_dir