[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>
Thu, 17 Jan 2019 13:41:08 +0000 (14:41 +0100)
commit6f330f12638c34681cb0112cd0af883874f1304c
tree86a5f961069d33fb30d328d58d98e2e35f34044a
parent5e499fcd414f711083c0b7a77acd28c3582e0793
[waf] fix hdf5 selection
wscript