Searched refs:ac_dots (Results 1 – 1 of 1) sorted by relevance
1699 ac_dots=`echo $ac_dir_suffix|sed 's%/[^/]*%../%g'`1701 ac_dir_suffix= ac_dots=1706 if test -z "$ac_dots"; then top_srcdir=.1707 else top_srcdir=`echo $ac_dots|sed 's%/$%%'`; fi ;;1710 srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"1711 top_srcdir="$ac_dots$ac_given_srcdir" ;;1716 *) INSTALL="$ac_dots$ac_given_INSTALL" ;;
Completed in 5 milliseconds