Merge branch 'compilation' into 'master'

Make out-of-tree build work

See merge request !63
6 jobs for master in 24 minutes and 41 seconds (queued for 1 second)
Status Job ID Name Coverage
  Style
passed #42844
integration
checkpatch

00:00:05

passed #42843
integration
repoquality

00:00:11

 
  Build
passed #42845
make:generic

00:08:46

passed #42847
knl
make:knl

00:06:53

passed #42846
make:out-of-tree

00:08:47

 
  Docs
passed #42848
integration
readthedocs

00:00:01