diff options
Diffstat (limited to '')
| -rwxr-xr-x | aux/workflow/repocheck.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/aux/workflow/repocheck.sh b/aux/workflow/repocheck.sh index 688410a..fce31c4 100755 --- a/aux/workflow/repocheck.sh +++ b/aux/workflow/repocheck.sh @@ -113,6 +113,10 @@ assert_install() { echo 'Asserting "idempotent" install path' >&2 INSTALL3="$(mkdtemp)" + make PREFIX="$INSTALL3" + make PREFIX="$INSTALL3" + make check PREFIX="$INSTALL3" + make check PREFIX="$INSTALL3" make install PREFIX="$INSTALL3" make install PREFIX="$INSTALL3" assert_installed_files "$INSTALL3" |