-
Mikaël Salson authored
By default the launcher is put at the start of the command line. In some cases it must not be at the start and in other cases we don't want to use valgrind (or another launcher) so we deactivate it with the !NO_LAUNCHER: directive
e504f7ad