aboutsummaryrefslogtreecommitdiff
path: root/aux
diff options
context:
space:
mode:
Diffstat (limited to 'aux')
-rwxr-xr-xaux/ci/ci-build.sh2
-rwxr-xr-xaux/workflow/repocheck.sh4
2 files changed, 3 insertions, 3 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 5e5e656..8d18252 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -59,5 +59,5 @@ EOF
RUNNER='sh -c'
fi
- $RUNNER 'make clean public dev-check'
+ $RUNNER 'make clean dev-check'
} 2>&1 | tee "$LOGFILE"
diff --git a/aux/workflow/repocheck.sh b/aux/workflow/repocheck.sh
index b95272d..3cdad66 100755
--- a/aux/workflow/repocheck.sh
+++ b/aux/workflow/repocheck.sh
@@ -141,7 +141,7 @@ assert_clean_clone() {
git clone "$REPODIR" .
- make clean public dev-check
+ make clean dev-check
assert_no_diffs
make clean
assert_no_diffs
@@ -171,7 +171,7 @@ assert_clean_checkout() {
cd "$CHECKOUTDIR"
FILECOUNT="$(find . -type f | wc -l)"
- make clean public dev-check
+ make clean dev-check
make clean
if [ "$FILECOUNT" != "$(find . -type f | wc -l)" ]; then
echo 'File count mismatch after "make clean".' >&2