[waf] fix hdf5 selection
authorPaul Brossier <piem@piem.org>
Thu, 17 Jan 2019 13:41:08 +0000 (14:41 +0100)
committerPaul Brossier <piem@piem.org>
Wed, 29 Dec 2021 16:51:59 +0000 (11:51 -0500)
commitdf692c7d396ce957475968260f7ec45e0b509f8a
tree97c716343d9447e7e169db715fe4abac775bb48d
parent02e5a2efd82f22ca91d55d646dd85c85415854d7
[waf] fix hdf5 selection
wscript