diff options
author | Rene Rivera <grafikrobot@gmail.com> | 2016-06-15 12:27:19 -0500 |
---|---|---|
committer | Rene Rivera <grafikrobot@gmail.com> | 2016-06-15 12:28:30 -0500 |
commit | adc39bdfeaf09d6fad2264ed70c76085cabec614 (patch) | |
tree | 8104d3b7f7dab06162513267c970b2567b1566bc /status | |
parent | 42775aee0b973a612035996ac2f4c2e4e41c3fd6 (diff) | |
download | boost-adc39bdfeaf09d6fad2264ed70c76085cabec614.tar.gz |
Fix header check error that was supposed to be a warning.
Diffstat (limited to 'status')
-rw-r--r-- | status/boost_check_library.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/status/boost_check_library.py b/status/boost_check_library.py index fd2fc32aee..f80225fe31 100644 --- a/status/boost_check_library.py +++ b/status/boost_check_library.py @@ -68,11 +68,11 @@ class check_library(): negate = True, globs_to_exclude = ['%s.h*'%(self.library_name)]) else: - self.assert_file_exists(os.path.join(self.library_dir,'include','boost'), ['%s.h*'%(self.library_name)], + self.warn_file_exists(os.path.join(self.library_dir,'include','boost'), ['%s.h*'%(self.library_name)], ''' Did not find [project-root]/include/boost/[library].h* file. - A single header for the library is required at [project-root]/include/boost/[library].h* + A single header for the library is suggested at [project-root]/include/boost/[library].h* if the library does not have a header directory at [project-root]/include/boost/[library]. ''') |