Index: xotcl/configure
===================================================================
diff -u -rab63a4908f87f226de9730e0afa820388c93acc4 -r2c6cdd4f5d1c45c96e996a70b54ae4c5f46a40fd
--- xotcl/configure	(.../configure)	(revision ab63a4908f87f226de9730e0afa820388c93acc4)
+++ xotcl/configure	(.../configure)	(revision 2c6cdd4f5d1c45c96e996a70b54ae4c5f46a40fd)
@@ -6840,7 +6840,7 @@
 fi
 
 aol_prefix="/usr/local/aolserver"
-if test -d "$(DESTDIR)$(prefix)/modules/tcl" ; then aol_prefix="$(prefix)" ; fi
+if test -d "${prefix}/modules/tcl" ; then aol_prefix="$(prefix)" ; fi
 
 
 #--------------------------------------------------------------------