diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml index fbd98d497..ed12cf5a8 100644 --- a/.github/workflows/make.yml +++ b/.github/workflows/make.yml @@ -77,7 +77,7 @@ jobs: - name: Compare to previous hpmor.html run: | - diff -u hpmor-prev.html hpmor.html > hpmor-html-diff.log || : + diff -u -s hpmor-prev.html hpmor.html > hpmor-html-diff.log || : rm hpmor-prev.html - name: Test ls after