diff --git a/configure b/configure index 405525ec5..4a795ded5 100755 --- a/configure +++ b/configure @@ -1882,7 +1882,7 @@ if test "${with_FEI_BASE_DIR+set}" = set; then case "${withval}" in yes) FEI_BASE_DIR="" ;; no) FEI_BASE_DIR="" ;; - *) FEI_BASE_DIR=$wddithval ;; + *) FEI_BASE_DIR=$withval ;; esac else FEI_BASE_DIR=""