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/'.
5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
27 prompt "0.15.5 (OBSOLETE)"
32 prompt "0.15.4 (OBSOLETE)"
37 prompt "0.15.3 (OBSOLETE)"
44 # Don't remove next line
45 # CT_INSERT_VERSION_STRING_BELOW
46 default "0.15.9" if CLOOG_V_0_15_9
47 default "0.15.8" if CLOOG_V_0_15_8
48 default "0.15.7" if CLOOG_V_0_15_7
49 default "0.15.6" if CLOOG_V_0_15_6
50 default "0.15.5" if CLOOG_V_0_15_5
51 default "0.15.4" if CLOOG_V_0_15_4
52 default "0.15.3" if CLOOG_V_0_15_3