| commit | 5d54ec00ec4fc4a94d44a9dc77db7a79de083121 | [log] [tgz] |
|---|---|---|
| author | Richard Weinberger <richard@nod.at> | Thu Nov 25 23:51:17 2021 +0100 |
| committer | Richard Weinberger <richard@nod.at> | Thu Nov 25 23:51:17 2021 +0100 |
| tree | 2e13c93e2e567b2bac67e3d4377d2c64b27d59ed | |
| parent | 4c99d67c341b5723a1526d4dcfd112e6a4350b1f [diff] |
Reload source files is mtime has changed. If the mtime of the source directory has changed, reload all files and set the cursor to 0. The code assumes that the target platform supports mtime. Signed-off-by: Richard Weinberger <richard@nod.at>