diff options
| author | Gaëtan Gilbert | 2019-02-18 17:44:00 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-18 17:44:55 +0100 |
| commit | 1dd6403786831ba4017ffef2d6f0090d53b3a2f6 (patch) | |
| tree | 4cbeabd054eb221f8e5316c7a01b420dfe867a2b /Makefile.dev | |
| parent | 77b454e5ab8698f0d87bdf2eb32b48ab998ba590 (diff) | |
CI: fix trunk jobs switch picking
After #9590
Instead of this we could override before_script, either duplicating the debug
prints or just not doing debug prints for the trunk jobs.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions