mklib deletes tmp files also in case of failure#988

Merged

GiovanniBussi merged 3 commits intoplumed:masterfrom Iximiel:patch-3

Nov 29, 2023

+23-10

Commits on Nov 22, 2023

Commits on Nov 27, 2023

Reverted to old formattation for mklib.sh
Iximiel
authored