From 096c28bb522334eaa3e9ea9f51777a4abf6679f2 Mon Sep 17 00:00:00 2001 From: mrdudz Date: Sat, 5 Feb 2022 17:47:20 +0100 Subject: [PATCH] remove programs in util dir before making a snapshot. we might later decide to leave them there anyway. --- .github/workflows/snapshot-on-push-master.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/snapshot-on-push-master.yml b/.github/workflows/snapshot-on-push-master.yml index 110edbbf0..c6a6eda8e 100644 --- a/.github/workflows/snapshot-on-push-master.yml +++ b/.github/workflows/snapshot-on-push-master.yml @@ -47,7 +47,9 @@ jobs: - name: Build the tools. shell: bash - run: make -j2 bin USER_CFLAGS=-Werror + run: | + make -j2 bin USER_CFLAGS=-Werror + make -j2 util - name: Build the platform libraries. shell: bash run: make -j2 lib QUIET=1 @@ -60,6 +62,9 @@ jobs: - name: Remove the output from the samples tests. shell: bash run: make -C samples clean + - name: Remove programs in util directory + shell: bash + run: make -j2 util clean - name: Build the document files. shell: bash run: make -j2 doc