config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 10 00:02:05 2011 +0200 (2011-07-10)
changeset 2543 0e8ff5707383
parent 1030 e5bf882d6514
permissions -rw-r--r--
scripts: on startup, also remove the buildtools dir

In case there's one lingering around (whether the previous build was
successful, or failed), we have to remove the buildtools directory
as well as the toochain build dir.

This should also fix the case where out makeinfo wrapper calls
itself recursively.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # Bare metal config options
     2 
     3 ## select BARE_METAL
     4 ##
     5 ## help 'Bare metal' refers to those programs that run without any kernel.
     6 ## help
     7 ## help You probably want to say 'y' here if you plan to use your compiler
     8 ## help to build bootloaders. It is not yet suitable to build Linux kernels,
     9 ## help though, because the APCI stuff relies on the target C library headers
    10 ## help being available?!?!...