Restore use of bash in scripts

Source inclusion may break otherwise.
This commit is contained in:
Davide De Rosa 2021-10-11 23:32:07 +02:00
parent cb87b377bd
commit 75d8c78fe1
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit cc7b79d4703d2d46f0de8c2efbbf642996ceaed6
Subproject commit 9676c9096a435a9429953d56a2eb93bd043b920c