mirror of
https://github.com/AdaCore/cpython.git
synced 2026-02-12 12:57:15 -08:00
Switch from bash to ksh, in the hope that more systems support it (one report of a site without an available bash).
Switch from bash to ksh, in the hope that more systems support it (one report of a site without an available bash).