diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-08 13:38:04 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2023-03-08 14:48:29 +0100 |
| commit | 693b1be81f0aa4537e2aa617be94f5ab73272edc (patch) | |
| tree | 96efe02ee187f941825dd9ab0e390d1d3242d097 /doc | |
| parent | 0159dfad3f48105ecc971d93a562aec36d15ad4a (diff) | |
Run 'make installcheck' again
This was failing because the check for the existence of the
'installcheck' target failed silently, so the whole phase got
skipped. It works by running 'make -n installcheck 2> /dev/null',
which however barfs with
/nix/store/039g378vc3pc3dvi9dzdlrd0i4q93qwf-binutils-2.39/bin/ld.gold: error: cannot open tests/plugins/plugintest.o: No such file or directory
Fixes #8004.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions