]> rtime.felk.cvut.cz Git - eurobot/public.git/commit
projects / eurobot / public.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26bdd24) | patch
Use just copied boost headers also for building on host
authorMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 25 Dec 2012 23:00:14 +0000 (00:00 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 25 Dec 2012 23:00:14 +0000 (00:00 +0100)
commit2f008b17b673605abd2462ba937bb56c364bbaae
tree7e4ea75ab163c2e4d03ca9c4dd91c9a29b2bf31atree | snapshot
parent26bdd243e6dd2eb0fb1e5b204ef758c0347b6804commit | diff
Use just copied boost headers also for building on host

This is to avoid potential bugs from using different boost versions for
different builds.
build/host/config.target diff | blob | history
Robotic team Flamingos [formerly CTU Dragons] - main SW repository