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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure336 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
337 *) as_qdir=$as_dir;;
339 as_dirs="'$as_qdir' $as_dirs"
20020 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
20021 *) as_qdir=$as_dir;;
20023 as_dirs="'$as_qdir' $as_dirs"
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure336 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
337 *) as_qdir=$as_dir;;
339 as_dirs="'$as_qdir' $as_dirs"
23037 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
23038 *) as_qdir=$as_dir;;
23040 as_dirs="'$as_qdir' $as_dirs"

Completed in 75 milliseconds