Mail Archives: djgpp-workers/2000/05/18/05:46:31
On 18 May 2000, at 11:59, Eli Zaretskii wrote:
>
> On Wed, 17 May 2000, Andris Pavenis wrote:
>
> > CONFIG_SHELL=`echo 'echo $0' | bash.exe -`
> > case ${CONFIG_SHELL} in *.exe) ;;
> > *) CONFIG_SHELL=${CONFIG_SHELL}.exe;
> > test -f ${CONFIG_SHELL} || exit 1
> > ;;
> > esac;
> >
> > export CONFIG_SHELL
>
> Thanks!
>
> I think the same could be achieved by forcing SHELL and CONFIG_SHELL
> values be /dev/env/DJDIR/bin/sh.exe. Right now, djconfig.sh only sets
> them if they aren't already set. This is so the script doesn't
> override the settings that the user might have for some good reason,
> but maybe it does more harm than it helps, in this case.
We only must get libtool to have reasonable value to avoid failures
when installing libraries. Therefore I think we should not relay on user
supplying correct value. Maybe even we should add test for bash version and require
2.0.X or higher.
like
case $BASH_VERSION in 1.*) echo Please use BASH 2.0.3 or above;exit 1 ;; esac;
Andris
- Raw text -