It's a version of pdksh that was developed within the openbsd tree. Indeed there are more bash scripts there that can be switched.
If they did not work with Solaris' /bin/sh then the scripts has to be fixed instead of hardcoding bash. On (2010-04-02 13:48), Andreas Färber wrote: > Hi, > > Am 01.04.2010 um 18:36 schrieb Robert Nagy: > > >This is the first bucket of of diffs that are meant to remove the > >hardcoded bash depencendy. On !GNU systems bash is either not > >installed > >or it's path is not /bin. Most of the scripts in mono will just work > >with a posix shell so use that instead because that's available > >everywhere. > > Some of the scripts did not work with Solaris' /bin/sh earlier. > Which shell is /bin/sh on OpenBSD? > > [...] > >Index: web/mono-build.sh > >=================================================================== > >--- web/mono-build.sh (revision 154650) > >+++ web/mono-build.sh (working copy) > >@@ -1,4 +1,4 @@ > >-#! /usr/bin/env bash > >+#!/bin/sh > > That's a particular nasty use of bash: it assumes /usr to exist, > which is not the case on BeOS-derived platforms. > There's another occurrence inside mcs: > > Index: tools/gensources.sh > =================================================================== > --- tools/gensources.sh (revision 154572) > +++ tools/gensources.sh (working copy) > @@ -1,4 +1,4 @@ > -#!/usr/bin/env bash > +#!/bin/sh > > includefile=$1 > excludefile=$2 > > Regards, > Andreas _______________________________________________ Mono-devel-list mailing list [email protected] http://lists.ximian.com/mailman/listinfo/mono-devel-list
