Revised parsing of command-line options, more GCC-like.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2384 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 1 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index 238ae39..166df6c 100644
--- a/Changelog
+++ b/Changelog
@@ -12,6 +12,7 @@
 - New optimization: removal of partially dead code.
 - A "default" case can now appear anywhere in a "switch", not just as
   the last case.
+- Revised parsing of command-line options, more GCC-like.
 
 Release 2.1, 2013-10-28
 =======================