MPS issue job003821

TitleNo test for "make install"
Statusclosed
Priorityoptional
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionChange 181860 [1] introduced a bug in the "make install" command. This got into release 1.113.0, where it affects downstream packages like [2]. The bug was later fixed in change 185900 [3].
AnalysisThis bug slipped through testing because we don't test "make install".
How foundcustomer
Evidence[1] <https://info.ravenbrook.com/infosys/cgi/perfbrowse.cgi?@describe+181860>
[2] <https://github.com/NixOS/nixpkgs/blob/...s/development/libraries/mps/default.nix>
[3] <https://info.ravenbrook.com/infosys/cgi/perfbrowse.cgi?@describe+185900>
Created byGareth Rees
Created on2014-05-27 18:05:07
Last modified byGareth Rees
Last modified on2014-05-27 19:34:02
History2014-05-27 GDR Created.

Fixes

Change Effect Date User Description
186317 closed 2014-05-27 19:34:02 Gareth Rees Test "make install" as well as "make test".