Fabian Boehm 5dfb64b547
Add path mtime (#9057)
This can be used to print the modification time, like `stat` with some
options.

The reason is that `stat` has caused us a number of portability
headaches:

1. It's not available everywhere by default
2. The versions are quite different

For instance, with GNU stat it's `stat -c '%Y'`, with macOS it's `stat
-f %m`.

So now checking a cache file can be done just with builtins.
2022-07-18 20:39:01 +02:00
..
2022-07-18 20:39:01 +02:00
2022-02-14 16:18:16 -08:00
2022-04-19 18:52:06 +02:00
2022-01-09 23:47:58 +08:00