Currently, we are using a branch of DiffKemp that contains 'fix' (PLukas2018/diffkemp@e316280):
|
RUN git clone -b fix-new-kernels https://github.com/PLukas2018/diffkemp /diffkemp |
The problem was that the new kernels probably need CFLAGS without -w to detect some problems and recover from it. The problem is that for old kernels, the tests are broken when using this fix.
Investigate how to solve this so we could use the main DiffKemp repository.
Currently, we are using a branch of DiffKemp that contains 'fix' (PLukas2018/diffkemp@e316280):
diffkemp-automation/backend/comparison_container/Dockerfile
Line 9 in 356d88e
The problem was that the new kernels probably need
CFLAGSwithout-wto detect some problems and recover from it. The problem is that for old kernels, the tests are broken when using this fix.Investigate how to solve this so we could use the main DiffKemp repository.