From 7e918f4e9552f91d8d2c99263f91953b78eda82a Mon Sep 17 00:00:00 2001 From: Mayeul Rousselet Date: Thu, 27 Aug 2026 12:26:51 +0200 Subject: [PATCH] Remove release_info --- Makefile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Makefile b/Makefile index 5dabdd7..9c22bee 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,6 @@ plugin_id=`cat plugin.json | python3 -c "import sys, json; print(str(json.load(sys.stdin)['id']).replace('/',''))"` plugin_version=`cat plugin.json | python3 -c "import sys, json; print(str(json.load(sys.stdin)['version']).replace('/',''))"` archive_file_name="dss-plugin-${plugin_id}-${plugin_version}.zip" -last_commit_id=`git rev-parse HEAD` .DEFAULT_GOAL := plugin @@ -10,13 +9,10 @@ plugin: dist-clean @echo "[START] Archiving plugin to dist/ folder..." @cat plugin.json | json_pp > /dev/null @mkdir dist - @echo "{\"last_commit_id\":\"${last_commit_id}\"}" > release_info.json @git archive -v -9 --format zip -o dist/${archive_file_name} HEAD @if [[ -d tests ]]; then \ zip --delete dist/${archive_file_name} "tests/*"; \ fi - @zip -u dist/${archive_file_name} release_info.json - @rm release_info.json @echo "[SUCCESS] Archiving plugin to dist/ folder: Done!" dev: dist-clean