+fi;
+
+if test ${USER}
+then
+ if test -d /localhome/${USER}
+ then
+ OBJROOT=/localhome/${USER}
+
+ else
+ OBJROOT=.
+
+ fi
+else
+ OBJROOT=.
+
+fi
+
+
+# Check whether --with-objroot or --without-objroot was given.
+if test "${with_objroot+set}" = set; then
+ withval="$with_objroot"
+ OBJROOT=$withval
+