Skip to content
Snippets Groups Projects
Commit d723b023 authored by Christian Engwer's avatar Christian Engwer
Browse files

warn if supplied ugpath is wring but don't fail

[[Imported from SVN: r2321]]
parent 1bc09ac1
No related branches found
No related tags found
No related merge requests found
......@@ -21,14 +21,16 @@ AC_DEFUN([DUNE_PATH_UG],[
# is --with-ug=bla used?
if test "x$with_ug" != x ; then
# expand tilde / other stuff
UGROOT=`cd $with_ug && pwd`
if ! test -d $UGROOT; then
AC_MSG_ERROR([directory $with_ug does not exist!])
fi
else
if ! test -d $UGROOT; then
AC_MSG_WARN([directory $with_ug does not exist!])
else
# expand tilde / other stuff
UGROOT=`cd $with_ug && pwd`
fi
fi
if test "x$UGROOT" = x; then
# use some default value...
UGROOT="/usr/local/ug"
UGROOT="/usr/local/ug"
fi
# intermediate variables
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment