From 22bea710e272ea94096b0b9af0a763ab60e35203 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Mon, 27 Jun 2022 13:26:37 +0200 Subject: [PATCH] [bin] removed useless bin/wp-qualif.sh --- bin/wp-qualif.sh | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 bin/wp-qualif.sh diff --git a/bin/wp-qualif.sh b/bin/wp-qualif.sh deleted file mode 100644 index 418cabf7b37..00000000000 --- 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 -- GitLab