File tree Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -29,5 +29,14 @@ script:
2929 - if test -s regression.diffs; then cat regression.diffs; exit 1; fi
3030 - pg_virtualenv make crushtest
3131 - if test -s regression.diffs; then cat regression.diffs; exit 1; fi
32+ - make clean
33+ - make PROFILE="-Werror" USE_HEALPIX=0
34+ - sudo make USE_HEALPIX=0 install
35+ - pg_virtualenv make USE_HEALPIX=0 installcheck
36+ - if test -s regression.diffs; then cat regression.diffs; exit 1; fi
37+ - pg_virtualenv make USE_HEALPIX=0 test
38+ - if test -s regression.diffs; then cat regression.diffs; exit 1; fi
39+ - pg_virtualenv make USE_HEALPIX=0 crushtest
40+ - if test -s regression.diffs; then cat regression.diffs; exit 1; fi
3241 - make -C doc
3342 - sudo make -C doc install
You can’t perform that action at this time.
0 commit comments