summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-02-16 07:50:21 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-02-16 07:50:21 +0000
commit9aeba45962e8ba5cde5d81fb701a4c9a3963f4a5 (patch)
tree05530f4ab9da6f63eaf375ea01d726a3385d78a2
parentc5f12d3927812a2485f06fab2c286de122ba361c (diff)
Update for 2.2, continued
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2409 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
-rw-r--r--Changelog2
1 files changed, 2 insertions, 0 deletions
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