Updating LICENSE and license headers, continued.

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

1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 70f6013..76938b4 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,9 @@
 #                                                                     #
 #  Copyright Institut National de Recherche en Informatique et en     #
 #  Automatique.  All rights reserved.  This file is distributed       #
+#  under the terms of the GNU General Public License as published by  #
+#  the Free Software Foundation, either version 2 of the License, or  #
+#  (at your option) any later version.  This file is also distributed #
 #  under the terms of the INRIA Non-Commercial License Agreement.     #
 #                                                                     #
 #######################################################################