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.ide | |
| 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.ide')
0 files changed, 0 insertions, 0 deletions