tree 2e13c93e2e567b2bac67e3d4377d2c64b27d59ed
parent 4c99d67c341b5723a1526d4dcfd112e6a4350b1f
author Richard Weinberger <richard@nod.at> 1637880677 +0100
committer Richard Weinberger <richard@nod.at> 1637880677 +0100

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>