diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 13:07:42 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 13:07:42 +0100 |
| commit | 1418a8997ebb53ded0714673e3b334cb24a851ff (patch) | |
| tree | 69554d1f8a25d8a91c9ee3060f6e4e03dd72e857 /reproduce/src/make/paper.mk | |
| parent | ae2a7bc4de81c09eb6ba9c0267fdeaf97a1bce05 (diff) | |
--existing-conf doesn't take any values in configure script
Until now we were (wrongly) assuming that the configure script's
`--existsing-conf' option takes a value, while this is not the case.
Diffstat (limited to 'reproduce/src/make/paper.mk')
0 files changed, 0 insertions, 0 deletions