aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-01-19 22:42:24 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-01-19 22:58:48 +0000
commit8cfc728ecfb81775fd7bcfde887d1fccc4e4e8ad (patch)
treedb351e3575085ab10933401bf8c3c679d9d38815 /.gitignore
parent0ccea404bf994525a6f42ccea8ed7e325660627a (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions