Changes between Version 1 and Version 2 of Ticket #26361, comment 18
- Timestamp:
- 11/22/18 09:48:12 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #26361, comment 18
v1 v2 9 9 so I guess Thierry wrote that in the `spkg-install` for some good reason. 10 10 11 What should be the content of the `spkg-check` ? 11 What should be the content of the `spkg-check` ? There does seem to be any `check` target in the makefile of glucose...