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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in319 target_os = @target_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in302 target_os = @target_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in275 target_os = @target_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A DMakefile.in572 target_os = @target_os@
H A Dconfigure819 target_os
2860 target_os=$*
2862 case $target_os in *\ *) target_os=`echo "$target_os" | sed 's/ /-/g'`;; esac

Completed in 49 milliseconds