scripts/build/kernel/linux.sh
changeset 1910 207ad430c254
parent 1901 bdb3a98e064b
child 1989 f357bc3abfa6
     1.1 --- a/scripts/build/kernel/linux.sh	Sun Apr 11 23:18:10 2010 +0200
     1.2 +++ b/scripts/build/kernel/linux.sh	Wed Apr 07 09:18:20 2010 +0200
     1.3 @@ -6,7 +6,12 @@
     1.4      if [ "${CT_ARCH_USE_MMU}" = "y" ]; then
     1.5          CT_TARGET_KERNEL="linux"
     1.6      else
     1.7 -        CT_TARGET_KERNEL="uclinux"
     1.8 +    # Sometime, noMMU linux targets have a -uclinux tuple, while
     1.9 +    # sometime it's -linux. We currently have only one noMMU linux
    1.10 +    # target, and it uses -linux, so let's just use that. Time
    1.11 +    # to fix that later...
    1.12 +    #    CT_TARGET_KERNEL="uclinux"
    1.13 +        CT_TARGET_KERNEL="linux"
    1.14      fi
    1.15  }
    1.16