diff options
author | Dzial Techniczny WMW Projekt s.c <techniczna@wmwprojekt.pl> | 2020-01-15 16:07:19 +0100 |
---|---|---|
committer | Dzial Techniczny WMW Projekt s.c <techniczna@wmwprojekt.pl> | 2020-01-15 16:07:19 +0100 |
commit | 95e7b1498f2c178383699f8d30208cc326b7a37b (patch) | |
tree | cc1fae78a1a807fcfce8d6539d373afd670f484d /plugins/InternalID/Makefile | |
parent | b6f34622b169652c57e7cabd8d11e28605f110c3 (diff) |
Displaying internal project ID for tasks
Diffstat (limited to 'plugins/InternalID/Makefile')
-rw-r--r-- | plugins/InternalID/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/plugins/InternalID/Makefile b/plugins/InternalID/Makefile new file mode 100644 index 00000000..1f307581 --- /dev/null +++ b/plugins/InternalID/Makefile @@ -0,0 +1,5 @@ +plugin=InternalID + +all: + @ echo "Build archive for plugin ${plugin} version=${version}" + @ git archive HEAD --prefix=${plugin}/ --format=zip -o ${plugin}-${version}.zip |