Searched refs:TCL_XWISH (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DRUNME151 TCL_XWISH=`echo "$ecl_tcl_arch"/bin/xwish*`
217 TCL_XWISH=`which xwish 2>/dev/null` && [ -x "$TCL_XWISH" ] || TCL_XWISH=
254 ask "What is the full pathname of the wish$TCL_VERSION executable for X11" TCL_XWISH ""
255 [ -x "$TCL_XWISH" ] && break || echo "ERROR: No such executable: $TCL_XWISH"
424 echo " TCL_XWISH: $TCL_XWISH"
698 if test -x "$TCL_XWISH"; the
[all...]

Completed in 30 milliseconds