0.1.0-rc.1 #60

Merged
Jef Roosens merged 124 commits from dev into main 2022-01-31 23:53:46 +01:00
2 changed files with 4 additions and 2 deletions
Showing only changes of commit 8a8c7fab83 - Show all commits

View file

@ -24,4 +24,5 @@ pipeline:
commands:
- make prod
# Make sure the binary is actually static
- '[ "$(readelf -d pvieter) | grep NEEDED | wc -l" = 0 ]'
- readelf -d pvieter
- '[ "$(readelf -d pvieter | grep NEEDED | wc -l)" = 0 ]'

View file

@ -24,4 +24,5 @@ pipeline:
commands:
- make prod
# Make sure the binary is actually static
- '[ "$(readelf -d pvieter) | grep NEEDED | wc -l" = 0 ]'
- readelf -d pvieter
- '[ "$(readelf -d pvieter | grep NEEDED | wc -l)" = 0 ]'