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/'.
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
23 prompt "2.3.2 (OBSOLETE)"
28 prompt "2.3.1 (OBSOLETE)"
35 # Don't remove next line
36 # CT_INSERT_VERSION_STRING_BELOW
37 default "2.4.2" if MPFR_V_2_4_2
38 default "2.4.1" if MPFR_V_2_4_1
39 default "2.4.0" if MPFR_V_2_4_0
40 default "2.3.2" if MPFR_V_2_3_2
41 default "2.3.1" if MPFR_V_2_3_1