jca fd445306cf Use clock(3) to get cpu time, avoids a possible time_t problem on 32 bits archs ...

timing.c:103:8: warning: incompatible pointer types passing 'long *' to
parameter of type 'time_t *' (aka 'long long *') [-Wincompatible-pointer-types]

Tested by Alessandro DE LAURENZIS (maintainer)

2019-06-08 10:05:52 +00:00

..

patch-base_config_h

…

patch-Makefile

…

patch-scripts_configure

…

patch-tcltk_netgen_sh_in

…