1550b2bbe15e553da8ac721dd1ba773aa1deb5af does not work with old bash versions (4.1.50 was what I tested). What I see:
running CONFIG_SHELL=/bin/bash -norc /bin/bash -norc /home/el/pike/src/configure /opt build_alias=/opt host_alias=/opt target_alias=/opt --no-create --no-recursion ./config.status: line 536: /bin/bash -norc: No such file or directory ./config.status: line 536: exec: /bin/bash -norc: cannot execute: No such file or directory I have since upgraded that machine, so I cannot test this anymore. Maybe it helps.. arne On 10/03/14 16:00, Per Hedbor () @ Pike (-) developers forum wrote: > I just forked off pike 8.1 from 8.0. > > The intent is to fairly soon (for values of soon) release a new stable > from 8.0. > > If you have any issues with the current version, please tell us about > it. :) > > Also, new features should preferably go to 8.1 now. >