diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-11 21:11:45 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-11 21:11:45 +0000 |
| commit | 5c51f92f2535a2153ae46fb6311ffd9a15c244b3 (patch) | |
| tree | 94f0d1484289cf70e59e42bf904ccf6a21391039 /reproduce/config | |
| parent | 7ea5e28b74535797277c2f796dcaddf7425a7d61 (diff) | |
Not checking software versions in initialize.mk
Until now, we were actually running all the programs to check their
versions during initialization. But now that the number of programs has
increased, this can be slow. With this commit, we simply report the version
as a constant string. Maybe later, we can follow the strategy of the TeX
Live packages and write them all at configure time.
Diffstat (limited to 'reproduce/config')
0 files changed, 0 insertions, 0 deletions