OPM/opm-core — pull request #440 by andlaus (2013-11-25 13:53:48+00:00)
Title: configure: fix all except one warning produced by shellcheck

thanks to @bska for pointing this tool out!