Mark Duckworth wrote:
On modern platforms (all of them) sh is just a symlink to bash. My assumption is that this is implicitly required for an (rpm) build machine but I will not setup the packages this way as a user may want to save the memory.
Furthermore, recently I made a test where I saw that running makefiles on EasyMiNT with bash is significantly slower than with sh.
-- Vincent Rivière