From 9fb435abe98f358b1dde5de6604663a176634e53 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 21 Dec 2013 17:08:16 +0000
Subject: 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
---
 Changelog | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Changelog')

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
 =======================
-- 
cgit v1.2.3