+# Construct a sed pattern which will convert option names to OS directory
+# names.
+toosdirnames=
+defaultosdirname=
+if [ -n "${multiarch}" ]; then
+ defaultosdirname=::${multiarch}
+fi
+if [ -n "${osdirnames}" ]; then
+ set x ${osdirnames}
+ shift
+ while [ $# != 0 ] ; do
+ case "$1" in
+ .=*)
+ defaultosdirname=`echo $1 | sed 's|^.=|:|'`
+ if [ -n "${multiarch}" ]; then
+ defaultosdirname=${defaultosdirname}:${multiarch}
+ fi
+ shift
+ ;;
+ *=*)
+ patt=`echo $1 | sed -e 's|=|/$=/|'`
+ toosdirnames="${toosdirnames} -e s=^/${patt}/="
+ shift
+ ;;
+ *)
+ break
+ ;;
+ esac
+ done
+
+ if [ $# != 0 ]; then
+ for set in ${options}; do
+ for opts in `echo ${set} | sed -e 's|/| |'g`; do
+ patt="/"
+ for opt in `echo ${opts} | sed -e 's_|_ _'g`; do
+ if [ "$1" != "${opt}" ]; then
+ toosdirnames="${toosdirnames} -e s|/${opt}/|/${1}/|g"
+ patt="${patt}${1}/"
+ if [ "${patt}" != "/${1}/" ]; then
+ toosdirnames="${toosdirnames} -e s|${patt}|/${1}/|g"
+ fi
+ fi
+ done
+ shift
+ done
+ done
+ fi
+fi
+