diff options
author | Allen Byrne <byrn@hdfgroup.org> | 2017-04-04 17:15:21 (GMT) |
---|---|---|
committer | Allen Byrne <byrn@hdfgroup.org> | 2017-04-04 17:15:21 (GMT) |
commit | 6e794d2f37454e22e77d287c52936c43e131a321 (patch) | |
tree | e62f87b6c169533d102869a9d96404e0a6a967a7 | |
parent | 790f8fcf039c7407f2b24a413de5911bdc3d4f48 (diff) | |
parent | 880b0705b74efe07b70c87269c8a4ef2020283eb (diff) | |
download | hdf5-6e794d2f37454e22e77d287c52936c43e131a321.zip hdf5-6e794d2f37454e22e77d287c52936c43e131a321.tar.gz hdf5-6e794d2f37454e22e77d287c52936c43e131a321.tar.bz2 |
Merging in latest from upstream (HDFFV/hdf5:refs/heads/hdf5_1_8)
* commit '880b0705b74efe07b70c87269c8a4ef2020283eb':
Added comment to file to address HDFFFV-8270
-rw-r--r-- | bin/output_filter.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/bin/output_filter.sh b/bin/output_filter.sh index 58f1c48..b8b7ff0 100644 --- a/bin/output_filter.sh +++ b/bin/output_filter.sh @@ -17,6 +17,21 @@ # Created Date: 2011/5/3 +# Comment added to address HDFFV-8270: +# As I understand it, the purpose of this file is to remove extraneous messages +# that appear in stdout and stderr on some machines that have been tested outside +# of the HDF Group realm. The purpose of this script is to filter those +# extraneous messages from stdout and stderr so that when the output files are +# compared to the expected output, the extra messages will not cause failures in +# the tests. The system messages in the comments below are out of date, meaning +# I suppose that while the script code to filter messages on the system was +# correct correct when last used, the output in the comments doesn't match the +# script code that follows. I don't currently have access to any of these +# systems to see the current output and the effect of the script code. If using +# this file in the future, please update the comments to match the scripts in use. +# Larry Knox 2017/3/15 + + # Some systems will dump some messages to stdout for various reasons. # Remove them from the stdout result file. # $1 is the file name of the file to be filtered. |