From 1110df7268593622559e218fba7dae8266c8d6c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rn-Thorben=20Hinz?= Date: Tue, 24 Jan 2023 20:05:45 +0100 Subject: [PATCH] Remove now unused function mv_other_artifact() --- scripts/move_artifacts.sh | 8 -------- 1 file changed, 8 deletions(-) diff --git a/scripts/move_artifacts.sh b/scripts/move_artifacts.sh index bc25637..3d37c7c 100755 --- a/scripts/move_artifacts.sh +++ b/scripts/move_artifacts.sh @@ -13,14 +13,6 @@ mv_artifact() fi } -# Usage: -# mv_other_artifact BUILDINFO_PATH OTHER_EXT DEST_DIR -mv_other_artifact() -{ - a=${1%.buildinfo}$2 - [ ! -f "$a" ] || mv_artifact "$a" "$3" -} - # Usage: # mv_source_package CHANGES_FILE mv_source_package()