diff options
| author | Peter Wu <peter@lekensteyn.nl> | 2020-05-27 22:36:22 +0200 |
|---|---|---|
| committer | Peter Wu <peter@lekensteyn.nl> | 2020-05-28 10:46:07 +0200 |
| commit | 3a2ca60d6a7540d631df90807275da0ff25eca04 (patch) | |
| tree | 196727c4a299d97b41377a007d9a029cc35d2393 /docs/.gitignore | |
| parent | 155551c4465485dc4e754b0056f57cffcd925a94 (diff) | |
CMake: rebuild Makefile.inc.cmake when Makefile.inc changes
Otherwise the build might fail due to missing source files, as
demonstrated by the recent keylog.c addition on an existing build dir.
Closes #5469
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions