libtins: Update to 4.2 10401/head
authorRosen Penev <rosenp@gmail.com>
Tue, 22 Oct 2019 17:11:39 +0000 (10:11 -0700)
committerRosen Penev <rosenp@gmail.com>
Wed, 30 Oct 2019 18:46:54 +0000 (11:46 -0700)
commit73a31f0bf61518c1b399b0e1af2f5ef67d1ecda3
treea811c4081bfac4af69010ae7c30d4e34346912fa
parentc037c8d988027453214849a098232f86dd4ca4d4
libtins: Update to 4.2

Added size optimizations.

Added explicit options to make sure Boost doesn't get included.

Several Makefile cleanups.

Signed-off-by: Rosen Penev <rosenp@gmail.com>
libs/libtins/Makefile
libs/libtins/patches/010-pkgconfig.patch [new file with mode: 0644]