diff options
| -rw-r--r-- | fixincludes/ChangeLog | 4 | ||||
| -rw-r--r-- | fixincludes/README | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/fixincludes/ChangeLog b/fixincludes/ChangeLog index aff2eae1947..63a94be252a 100644 --- a/fixincludes/ChangeLog +++ b/fixincludes/ChangeLog @@ -1,3 +1,7 @@ +2012-03-15 Tristan Gingold <gingold@adacore.com> + + * README (EXAMPLES OF FIXES): Update. + 2012-03-14 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> * inclhack.def (math_exception): Remove duplicate. diff --git a/fixincludes/README b/fixincludes/README index 07a3964a26a..c7144a0ba29 100644 --- a/fixincludes/README +++ b/fixincludes/README @@ -314,7 +314,7 @@ EXAMPLES OF FIXES: GCC. But you can also: cd ${top_builddir}/gcc - rm -rf fixinc.sh include/ stmp-fixinc + rm -rf include-fixed/ stmp-fixinc make stmp-fixinc I would really recommend, however: |
