diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 22:42:24 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 22:58:48 +0000 |
| commit | 8cfc728ecfb81775fd7bcfde887d1fccc4e4e8ad (patch) | |
| tree | db351e3575085ab10933401bf8c3c679d9d38815 /tex/src/paper-long.tex | |
| parent | 0ccea404bf994525a6f42ccea8ed7e325660627a (diff) | |
New --check-config option to ./project to check software build status
Until now, it was necessry to run a long `while true' loop to see what is
currently being built at configure time. So with this commit, a new
`--checkconfig' option has been added to `./project' that can be called to
run that loop and make it easier to check.
Diffstat (limited to 'tex/src/paper-long.tex')
0 files changed, 0 insertions, 0 deletions