config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Jun 11 21:47:19 2009 +0000 (2009-06-11)
branch1.4
changeset 1451 25d050084e98
parent 908 6db1117b2893
child 1337 7f742f73c2d1
permissions -rw-r--r--
populate: fix installing dynamic linker 'ld.so'

The dynamic linker, ld.so, needs the execute bit to be set.
Detect tht the library being installed is in fact ld.so and
install it with 0755 instead of 0644.

Fix detecting src == dst.

Use a simpler command to copy src -> dst.

Also change echo to printf, get rid of 'echo -n', which is
highly non-portable.


-------- diffstat follows --------
/trunk/scripts/populate.in | 76 43 33 0 +++++++++++++++++++++++++++++-----------------------
1 file changed, 43 insertions(+), 33 deletions(-)
(transplanted from d7ddcb75e0f703e2ba6d17169167356389224870)
yann@1
     1
# Kernel options
yann@1
     2
yann@861
     3
menu "Operating System"
yann@861
     4
yann@883
     5
# Config option used throughout the config and code to determine wether
yann@908
     6
# we have a kernel or not (there might be different bare metal stuff...
yann@883
     7
config BARE_METAL
yann@883
     8
    bool
yann@883
     9
    default n
yann@883
    10
yann@847
    11
config KERNEL
yann@847
    12
    string
yann@847
    13
yann@861
    14
config KERNEL_VERSION
yann@861
    15
    string
yann@850
    16
yann@861
    17
source config.gen/kernel.in
yann@854
    18
yann@1
    19
endmenu