Commit graph

7 commits

Author SHA1 Message Date
Robin Schneider
5a7d0a95bc
We are not upstream so we don’t run: git submodule update --remote
Running `git submodule update --recursive --init` should be totally fine
for us and it gives us more auditability because then the submodule
commit hash is pinned by the main git repo tag.
2019-12-26 00:07:38 +01:00
Robin Schneider
784a55854f
Fix up script with suggestions from ShellCheck and minor fixes
* `set -o pipefail -o errexit` exit early on error. This is very useful
  to not overlook errors that might not fully break the build but tamper
  with the end result.
* Fix `mkdir OUTPUT_FOLDER` fail
* Rework git checkout stuff to only run needed commands.
2019-12-26 00:07:38 +01:00
Daniel García
5579b1b33f
Hide subscriptions 2019-04-03 15:44:07 +02:00
Daniel García
05e99b662e
Don't delete .map files, they may help during debugging and the final build is only 20 MB anyway. 2019-02-27 17:24:25 +01:00
Daniel García
76e343e0d8
Remove user and group info from tar.gz files 2019-01-07 16:21:27 +01:00
Daniel García
e55e7985de
Create and upload new release automatically 2018-12-16 15:14:48 +01:00
Daniel García
d3c08a554f
Initial commit 2018-12-13 14:09:59 +01:00