gui: Mark print_startup_time() unused to avoid warning.
[pspp] / config /
drwxr-xr-x   ..
-rw-r--r-- 21 .gitignore