Home
last modified time | relevance | path

Searched refs:build_os (Results 1 – 3 of 3) sorted by relevance

/xen/
A Dconfigure1833 build_os=$*
1835 case $build_os in *\ *) build_os=`echo "$build_os" | sed 's/ /-/g'`;; esac
/xen/stubdom/
A Dconfigure1911 build_os=$*
1913 case $build_os in *\ *) build_os=`echo "$build_os" | sed 's/ /-/g'`;; esac
/xen/tools/
A Dconfigure2529 build_os=$*
2531 case $build_os in *\ *) build_os=`echo "$build_os" | sed 's/ /-/g'`;; esac

Completed in 17 milliseconds