Lines Matching refs:exec_prefix
77 exec_prefix=${exec_prefix-'${prefix}'}
78 libdir=${libdir-'${exec_prefix}/lib'}
123 -e*=* | --eprefix=*) exec_prefix=`echo $1 | sed 's/.*=//'`; shift ;;
129 -e* | --eprefix) exec_prefix="$2"; shift; shift ;;
862 echo exec_prefix = $exec_prefix >> configure.log
892 /^exec_prefix *=/s#=.*#=$exec_prefix#
918 /^exec_prefix *=/s#=.*#=$exec_prefix#