From 26cecba06b8717a77a35dd9a9275a0174a00e32d Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 18 Jul 2022 08:40:42 +0200 Subject: [PATCH] Fix header --- bin/rebuild.sh | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/bin/rebuild.sh b/bin/rebuild.sh index d879c3a8e31..eb1b290bb01 100755 --- a/bin/rebuild.sh +++ b/bin/rebuild.sh @@ -1,2 +1,24 @@ #!/bin/sh +########################################################################## +# # +# This file is part of Frama-C. # +# # +# Copyright (C) 2007-2022 # +# CEA (Commissariat à l'énergie atomique et aux énergies # +# alternatives) # +# # +# you can redistribute it and/or modify it under the terms of the GNU # +# Lesser General Public License as published by the Free Software # +# Foundation, version 2.1. # +# # +# It is distributed in the hope that it will be useful, # +# but WITHOUT ANY WARRANTY; without even the implied warranty of # +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # +# GNU Lesser General Public License for more details. # +# # +# See the GNU Lesser General Public License version 2.1 # +# for more details (enclosed in the file licenses/LGPLv2.1). # +# # +########################################################################## + autoconf -f && ./configure && make -k clean && make -k -- GitLab