From 600cb494c6484e156fd6152c3ca6f5cd7f973e99 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Mon, 17 Oct 2022 18:15:29 +0200 Subject: [PATCH] [ivette] remove unused script --- ivette/ivette-macos-cleanup.sh | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 ivette/ivette-macos-cleanup.sh diff --git a/ivette/ivette-macos-cleanup.sh b/ivette/ivette-macos-cleanup.sh deleted file mode 100644 index 32acdf17abf..00000000000 --- a/ivette/ivette-macos-cleanup.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/zsh -########################################################################## -# # -# 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). # -# # -########################################################################## - -echo "Finalizing Ivette Removal…" -rm -fr /Applications/Ivette.app -rm -f $0 -echo "Done." -- GitLab