select-linux-arch

   1 #!/bin/sh
   2
   3 ME=$(basename $0)
   4
   5 if [ $# -lt 1 ] || [ $# -gt 3 ] ; then
   6     echo "usage: $ME <linux-build-directory> <stubdom-arch>" 1>&2
   7     exit 1;
   8 fi
   9
  10 LINUX_DIR=$1
  11 TARGET_ARCH=$2
  12
  13 case ${TARGET_ARCH} in
  14     x86_32|x86_64)
  15         if [ -d ${LINUX_DIR}/arch/x86 ] ; then
  16             ARCH=x86
  17         elif [ "${TARGET_ARCH}" = "x86_32" ] ; then
  18             ARCH=i386
  19         else
  20             ARCH=x86_64
  21         fi
  22         ;;
  23     *)
  24         ARCH=${TARGET_ARCH}
  25         ;;
  26 esac
  27
  28 echo "$ME: ${ARCH}" 1>&2
  29 echo ${ARCH}
  30
  31 exit 0