8 Dec
2025
8 Dec
'25
12:11 p.m.
Set shebang to bash (default sh on debian is dash) and uses simpler call to shell script in makefile Please test!