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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2736 ac_install_sh="$ac_aux_dir/install-sh -c"
2740 ac_install_sh="$ac_aux_dir/install.sh -c"
2744 ac_install_sh="$ac_aux_dir/shtool install -c"
3066 INSTALL=$ac_install_sh
3319 MKDIR_P="$ac_install_sh -d"
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2944 ac_install_sh="$ac_aux_dir/install-sh -c"
2948 ac_install_sh="$ac_aux_dir/install.sh -c"
2952 ac_install_sh="$ac_aux_dir/shtool install -c"
3048 INSTALL=$ac_install_sh
3304 MKDIR_P="$ac_install_sh -d"

Completed in 111 milliseconds