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 | |
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.
-rw-r--r-- | flake.nix | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -383,6 +383,7 @@ doInstallCheck = finalAttrs.doCheck; installCheckFlags = "sysconfdir=$(out)/etc"; + installCheckTarget = "installcheck"; # work around buggy detection in stdenv separateDebugInfo = !currentStdenv.hostPlatform.isStatic; |