diff --git a/bin/wp-qualif.sh b/bin/wp-qualif.sh deleted file mode 100644 index 418cabf7b371c8ac91a44196bdcf23d68fab7af3..0000000000000000000000000000000000000000 --- a/bin/wp-qualif.sh +++ /dev/null @@ -1,24 +0,0 @@ -########################################################################## -# # -# 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). # -# # -########################################################################## - -export FRAMAC_WP_CACHE=update -export FRAMAC_WP_CACHEDIR=$WP_QUALIF_CACHE