diff options
author | Lucas De Marchi <lucas.demarchi@intel.com> | 2015-03-05 13:03:35 -0300 |
---|---|---|
committer | Lucas De Marchi <lucas.demarchi@intel.com> | 2015-03-05 13:14:36 -0300 |
commit | da6c0d2f52390fe7ed6c40f6aa9799edfeb19dcb (patch) | |
tree | 544998732cf9337d97ed921eef7b26d9a35511a5 /.gitignore | |
parent | d9c71758595cad72c8278179eabf17017615f704 (diff) | |
download | kmod-da6c0d2f52390fe7ed6c40f6aa9799edfeb19dcb.tar.gz |
build: use dolt
Drop-in replacement to libtool: http://dolt.freedesktop.org/. More
details: http://marc.info/?l=freedesktop-xorg&m=120791871615872&w=3
kmod is relatively fast to compile, so it doesn't matter much.
Nonetheless, less forks the better.
Compilation time using ./bootstrap-configure --disable-manpages and
make -j4
libtool
real 0m6.453s
user 0m21.067s
sys 0m0.773s
dolt
real 0m4.792s
user 0m15.920s
sys 0m0.637s
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -18,6 +18,8 @@ /configure /coverage /cov-int +/doltcompile +/doltlibtool /libtool /stamp-h1 /test-suite.log |