]> rtime.felk.cvut.cz Git - jailhouse.git/commit
projects / jailhouse.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f205a40) | patch
core: Move config.mk to generated directory
authorJan Kiszka <jan.kiszka@siemens.com>
Sun, 8 Mar 2015 19:59:27 +0000 (20:59 +0100)
committerJan Kiszka <jan.kiszka@siemens.com>
Fri, 20 Mar 2015 06:10:38 +0000 (07:10 +0100)
commit5a2bbcc5f84a95b4b9aab4984d71ca2a4e3187ea
tree8fc72cd94e033ab73130490bff715671dfa6e270tree | snapshot
parentf205a40d0cbb47b854879d33a0afe2cc0e312f1ccommit | diff
core: Move config.mk to generated directory

Analogously to version.h, this moves the generated config.mk to the
proper directory. We can switch from clean-files to clean-dirs for the
header directory at that chance.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
.gitignore diff | blob | history
hypervisor/Makefile diff | blob | history
inmates/lib/arm/Makefile.lib diff | blob | history