MPS issue job003821

TitleNo test for "make install"
Assigned userGareth Rees
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] <>
[2] <>
[3] <>
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.


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