bug: !NO_LAUNCHER is not really taken into account

opens #XXX
3 jobs for 65-bug-no-launcher
Status Job ID Name Coverage
  Unit
canceled #10320
unit

 
  Demo
canceled #10321
demo

 
  Coverage
canceled #10322
coverage