Changes between Version 1 and Version 2 of Ticket #26361, comment 18


Ignore:
Timestamp:
11/22/18 09:48:12 (2 years ago)
Author:
slabbe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #26361, comment 18

    v1 v2  
    99so I guess Thierry wrote that in the `spkg-install` for some good reason.
    1010
    11 What should be the content of the `spkg-check` ?
     11What should be the content of the `spkg-check` ? There does seem to be any `check` target in the makefile of glucose...