oils-for-unix / oils

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
http://www.oilshell.org/
Other
2.85k stars 159 forks source link

bug in old version of dash shell causes _build/oils.sh to start too many compilers in parallel #2110

Open andychu opened 3 weeks ago

andychu commented 3 weeks ago

Just found out what happened here

On a new Debian bookworm, there is no bug

On an old Ubuntu machine, too many compilers are started

The dash shell fixed a longstanding bug! But it still affects us