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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2935 ac_install_sh="$ac_aux_dir/install-sh -c"
2939 ac_install_sh="$ac_aux_dir/install.sh -c"
2943 ac_install_sh="$ac_aux_dir/shtool install -c"
3039 INSTALL=$ac_install_sh
3295 MKDIR_P="$ac_install_sh -d"

Completed in 231 milliseconds