summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authoriphydf <iphydf@users.noreply.github.com>2017-01-04 21:15:48 +0000
committeriphydf <iphydf@users.noreply.github.com>2017-01-05 12:34:52 +0000
commit0a61d1108547513211560e66809479cab5082ede (patch)
tree44f436d06e036283f8624d202d7abf3cfd8d7842 /.gitignore
parent69e1b99b1d29f6089334a8af8e7f87666fe8bb9e (diff)
Test a few cmake option combinations before the build.
This takes a few seconds but allows us to cover cases that aren't checked often.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions