Consistently refer to options, not flags

diff --git a/NEWS b/NEWS
index c44fa9278fc619e4f1f4f26fa5517c2355f03db2..14b6141451f682fa96b80dad93eaee821a80c14e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -63,11 +63,11 @@ Bug fixes:
 
   - Fixed NFS issues.
 
-  - Bail out on profiling flags --coverage, -fprofile-arcs and -ftest-coverage.
+  - Bail out on profiling options --coverage, -fprofile-arcs and -ftest-coverage.
 
-  - -MD/-MMD flags without -MT/-MF are now handled correctly.
+  - -MD/-MMD options without -MT/-MF are now handled correctly.
 
-  - Added support for -Wp,-MD and -Wp,-MMD flags.
+  - Added support for -Wp,-MD and -Wp,-MMD options.
 
   - Corrected LRU cleanup handling of object files.