]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e48ae33) | patch
Do not export bundled subdirectory if empty 9115/head
authorMatthias Maier <tamiko@43-1.org>
Sat, 30 Nov 2019 16:06:41 +0000 (10:06 -0600)
committerMatthias Maier <tamiko@43-1.org>
Sat, 30 Nov 2019 16:16:57 +0000 (10:16 -0600)
commitd590f424c5b75b51dd0e1a2325be37b10a8a7b7e
treea5043916009c3ba93306780440ecf26414e27eb7tree | snapshot
parente48ae3320d44f3a6ef363887da4c06b8522b4c7bcommit | diff
Do not export bundled subdirectory if empty

Avoid recording a nonexistent include directory in case we do not
install any bundled header files.
cmake/config/CMakeLists.txt diff | blob | history
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.