Lines Matching full:exec_prefix
63 exec_prefix=${exec_prefix-'${prefix}'}
64 libdir=${libdir-'${exec_prefix}/lib'}
105 -e*=* | --eprefix=*) exec_prefix=`echo $1 | sed 's/.*=//'`; shift ;;
111 -e* | --eprefix) exec_prefix="$2"; shift; shift ;;
767 echo exec_prefix = $exec_prefix >> configure.log
794 /^exec_prefix *=/s#=.*#=$exec_prefix#
820 /^exec_prefix *=/s#=.*#=$exec_prefix#
