ci: fix make check

Won't make check be better somewhere in the "test" column of the pipeline?

changed milestone to %2018 Q2

added bug tests labels

assigned to @pspacek

marked as a Work In Progress

added 9 commits

• 18d4f4a8...591ab024 - 2 commits from branch master
• b9cf3638 - ci: test that `make check` does not require installation
• 7904b8d2 - distro/rpm: run make check during pkgbuild
• 327dd8fd - gitignore: bench/bench_lru
• 8a5c0c2e - tests: fix LD_PRELOAD tricks in Makefile to fix make check
• 9df5a1cf - tests bench: print commands executed by make
• ff11d2b7 - tests unit: print commands executed by make
• dff3cb92 - ci: optimize check-integration

Compare with previous version

assigned to @tkrizek

unmarked as a Work In Progress

changed title from WIP: ci: run make check to ci: fix make check

@tkrizek I believe this fixes problem you had, please review.

Looks good, thanks!

mentioned in commit a5d949d7

merged