Remove now unused function mv_other_artifact()

jtdor · jtdor · commit 1110df726859 · 2023-01-24T20:05:45.000+01:00
diff --git 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()
