The problem was easily resolved by adding the missing export statements in
the shell script which was calling configure.

Reply via email to