[gambit-list] Help system

Marc Feeley feeley at iro.umontreal.ca
Thu Feb 12 21:19:05 EST 2009


On 12-Feb-09, at 9:03 PM, Pavel Dudrenov wrote:

> Same thing after the changes, does not work.
> This is at work on  ubuntu distro, Xubuntu 7.10 to be correct.
> $ uname -a
> Linux dudrenov 2.6.22-16-generic #1 SMP Mon Jan 26 00:07:52 GMT 2009
> i686 GNU/Linux
>
> Interesting after looking at other shell scripts on this system I  
> changed:
> if [ "${GAMBC_DOC_ARG1}" == "help" ]; then
>  operation_help
> to:
> if [ "${GAMBC_DOC_ARG1}" = "help" ]; then
>  operation_help
>
> And it works fine.
>
> I'll try on my gentoo box when I get home and let you know if it  
> works there.
> Pavel

Thanks for the feedback.  I tried replacing == by = on Mac OS X and it  
still works fine, so I've put a patch on the repository.  I guess the  
Mac OS X /bin/sh has an extension which allows == in addition to the  
(older?) = .

Marc




More information about the Gambit-list mailing list