summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2016-07-27 08:08:50 +0200
committerJulian Andres Klode <jak@debian.org>2016-08-31 14:16:10 +0200
commita8c30aa78bf30586ffa47aa9b9a3ff97f763690a (patch)
treef79276384939851db9f05897dd8616095df19dfc /Makefile
parente6b75e6e89a72edfc7d71ea0269f3ad8041da0b2 (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 'Makefile')
0 files changed, 0 insertions, 0 deletions