Commit graph

5 commits

Author SHA1 Message Date
gnzlbg 2276a582e0 use jemalloc submodule 2018-05-03 16:41:15 +02:00
gnzlbg 33ef06d560 use custom docker images 2018-05-03 00:43:09 +02:00
gnzlbg 7e6a682043 ship configuration files; add build.rs option to verify them 2018-05-02 17:18:59 +02:00
gnzlbg 350e3960ad verbose output 2018-05-02 13:56:26 +02:00
gnzlbg 8ab02bb7a6 run autogen.sh in a prebuild step
* run autogen.sh in a pre-build step in CI
* build.rs runs autogen.sh + make distclean only if configure is
  not found
2018-05-02 12:53:10 +02:00