diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-22 00:28:45 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-22 00:31:05 +0200 |
commit | c4bc671db43246a8bfbe18d20fc954e640e42ff5 (patch) | |
tree | 7a8663a5c78e33e91f939261f1db8acc8224f6fd /Makefile | |
parent | dfbf22a098e8e2890d2e10da5d669d9960ef6771 (diff) |
configure: make -annotate fatal, and color error and warnings
Warnings are just too hard to see. Also there is no point keeping a
noop option except to point people at the replacement, which does not
require configure to succeed.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions