From 9aeba45962e8ba5cde5d81fb701a4c9a3963f4a5 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 16 Feb 2014 07:50:21 +0000 Subject: Update for 2.2, continued git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2409 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 606ee86..d02866a 100644 --- a/Changelog +++ b/Changelog @@ -45,6 +45,8 @@ Usability: - Revised parsing of command-line arguments to be closer to GCC and Clang. In particular, "ccomp -c foo.c -o obj/foo.o" now works as expected, instead of ignoring the "-o" option as in earlier CompCert versions. +- Recognize input files ending in .i and .p as C source files that + must not be preprocessed. - Warn for uses of the following GCC extensions to ISO C: zero-sized arrays, empty structs/unions, empty initializer braces. - Option "-fno-fpu" to prevent the use of FP registers for some -- cgit v1.2.3