aboutsummaryrefslogtreecommitdiff
path: root/docs/.gitignore
diff options
context:
space:
mode:
authorPeter Wu <peter@lekensteyn.nl>2020-05-27 22:36:22 +0200
committerPeter Wu <peter@lekensteyn.nl>2020-05-28 10:46:07 +0200
commit3a2ca60d6a7540d631df90807275da0ff25eca04 (patch)
tree196727c4a299d97b41377a007d9a029cc35d2393 /docs/.gitignore
parent155551c4465485dc4e754b0056f57cffcd925a94 (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