diff options
author | Oswald Buddenhagen <oswald.buddenhagen@qt.io> | 2017-05-18 18:07:39 +0200 |
---|---|---|
committer | Liang Qi <liang.qi@qt.io> | 2017-05-25 21:34:26 +0000 |
commit | 5236e08cd4ce66184a20172dc71dea084caf0023 (patch) | |
tree | c65be78c9def43f4835384332fbff0f73d1375c2 /.gitignore | |
parent | a7dae7420ddee8c4f3c2f6f72787d43c748dacf3 (diff) |
make -skip work with configure -redo
the handling of -skip happens outside the usual argument handling, so we
need to handle -redo manually as well.
Change-Id: I7dcdf729bd9db2ff2ac8dc08bac71462bf30814b
Reviewed-by: Joerg Bornemann <joerg.bornemann@qt.io>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions