diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:48:52 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 20:48:52 +0000 |
| commit | 7cc80b3b9a2eebf5286a983df3ebaf3952ea6fca (patch) | |
| tree | f4f01b4e3e7dc98d8cdc23aafbb08dd62d6805dc /reproduce/analysis/make/format.mk | |
| parent | ea6bc6f08632056132ecfc2cb9a22101516b219c (diff) | |
Verification function checks if file exists
Until now, if the file to be verified didn't exist, a different checksum
would be generated, and it would stop, but it wasn't immediately clear if
the differing checksum is because the file doesn't exist at all!
With this commit, before calculating the checksum, we first make sure if
the file exists. If it doesn't exist an explicit error is printed and thus
will help the project editor to find the cause of the problem.
Diffstat (limited to 'reproduce/analysis/make/format.mk')
0 files changed, 0 insertions, 0 deletions