Aaron John 8106ae236b ci: use system shell instead of bash ... use #!/bin/sh as shebang instead of bash because it is more portable		2024-12-04 23:05:19 -08:00
..
test	ci: use system shell instead of bash	2024-12-04 23:05:19 -08:00