no real change, but be a little more verbose when dealing with kernel
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 29 Nov 2019 12:05:46 +0000 (13:05 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Dec 2019 19:13:52 +0000 (20:13 +0100)
commit1d27d76a69c0a26d85750e367d01e3a87be97295
treec893e5604bd8d9dbac4430c292831370f3a11ea2
parent02bba449b6768a757bfef779172d8a1c88571fb5
no real change, but be a little more verbose when dealing with kernel
prep.sh