diff options
| author | Paolo G. Giarrusso | 2020-01-27 22:20:18 +0100 |
|---|---|---|
| committer | Paolo G. Giarrusso | 2020-01-27 22:23:22 +0100 |
| commit | e75297e84e9e807c895be221b26d43fffc748b12 (patch) | |
| tree | 1c8f3e2daa1669e619b37f48c90b827e9b6fa9eb /kernel/nativecode.mli | |
| parent | 8f84388e4a7fe2c64dcfbeaa6f9f5c3bf9e021b5 (diff) | |
checkdeps.py: report *all* missing dependencies at once
Otherwise you need a few feedback loops to install all dependencies.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions