mirror/hdf5
2
0
Fork 0
mirror of https://github.com/HDFGroup/hdf5.git synced 2024-11-27 02:10:55 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #320 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop to develop

Browse Source 
* commit 'acdd8463bf97f84f9d50e10b16bfd3e3945207c1':
  Added "flush" and "refresh" to testflushrefresh.sh error output so it's easier to see where errors in the script occur.
This commit is contained in:
Dana Robinson 2017-03-02 10:01:43 -06:00
commit 82e2f9acbd
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/testflushrefresh.sh.in
View File

@ -118,7 +118,7 @@ until [ $verification_done -eq 1 ]; do
# Check to see if we timed out looking for the signal before continuing.
if [ $timedout -gt 0 ]; then
echo timed out waiting for signal from test program.
echo "timed out waiting for signal from test program (flush)."
break
fi
@ -158,7 +158,7 @@ if [ $timedout -eq 0 ]; then
# Check to see if we timed out looking for the signal before continuing.
if [ $timedout -gt 0 ]; then
echo timed out waiting for signal from test program.
echo "timed out waiting for signal from test program (refresh)."
break
fi