diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-07-27 08:08:50 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-31 14:16:10 +0200 |
| commit | a8c30aa78bf30586ffa47aa9b9a3ff97f763690a (patch) | |
| tree | f79276384939851db9f05897dd8616095df19dfc /methods/makefile | |
| parent | e6b75e6e89a72edfc7d71ea0269f3ad8041da0b2 (diff) | |
use proper warning for automatic pipeline disable
Also fixes message itself to mention the correct option name as noticed
in #832113.
(cherry picked from commit b9c20219dc17db1d29eaf297263a4b008bd1b90b)
Diffstat (limited to 'methods/makefile')
0 files changed, 0 insertions, 0 deletions