Make skip-unused build prod; better ci information
ci/woodpecker/push/arch unknown status Details
ci/woodpecker/push/docker unknown status Details
ci/woodpecker/push/build_experimental Pipeline failed Details
ci/woodpecker/push/lint Pipeline failed Details
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/test Pipeline was successful Details

Jef Roosens 2022-04-15 11:46:14 +02:00
parent 10377632d5
commit c6813f1e0d
Signed by: Jef Roosens
GPG Key ID: B75D4F293C7052DB
2 changed files with 4 additions and 1 deletions

View File

@ -38,5 +38,8 @@ pipeline:
- make skip-unused - make skip-unused
- readelf -d suvieter - readelf -d suvieter
- du -h suvieter - du -h suvieter
- '[ "$(readelf -d suvieter | grep NEEDED | wc -l)" = 0 ]'
- strip -s suvieter
- du -h suvieter
when: when:
event: push event: push

View File

@ -87,4 +87,4 @@ afvieter: $(SOURCES)
.PHONY: skip-unused .PHONY: skip-unused
skip-unused: suvieter skip-unused: suvieter
suvieter: $(SOURCES) suvieter: $(SOURCES)
$(V_PATH) -showcc -skip-unused -o suvieter $(SRC_DIR) $(V_PATH) -showcc -skip-unused -prod -o suvieter $(SRC_DIR)