diff --git a/configure.in b/configure.in index 91e378b3e..4e6955295 100644 --- a/configure.in +++ b/configure.in @@ -771,6 +771,10 @@ if test -n "$OCTAVE"; then OCTAVEEXT="$i" break; fi + if test -r $i/octave/octave/oct.h; then + OCTAVEEXT="$i/octave" + break; + fi done if test "$OCTAVEEXT" = "" ; then AC_MSG_RESULT(not found)