diff --git a/bin/rebuild.sh b/bin/rebuild.sh index d879c3a8e310ece7f60a4c163a60ad7619ae1074..eb1b290bb010d321b63c84774b18b04e4b6d97cb 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