scripts/functions: Use stat correctly on non-GNU (BSD/Darwin) systems.
Call to get the directory mode depending on $CT_SYS_OS
yann.morin.1998@anciens.enib.fr:
CT_SYS_OS has changed on Linuxsystem, it only gets the kernel name "Linux",
and not the system name, 'GNU/'.
1 # Dummy config file to not use a C library *at all*
2 # depends on BARE_METAL
6 Do not use a C library.
8 This is usefull if your project is self-contained, does not rely on
9 an external C library, and provides all the necessary bits.
11 Most probably usefull to bootloaders, as they generally don't depend
14 If unsure: do *not* choose that, and use another option in the choice.