[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-dev] Re: [cduce-users] Problem while using cduce --mlstub

From: Alain Frisch
Subject: [Demexp-dev] Re: [cduce-users] Problem while using cduce --mlstub
Date: Fri, 15 Jul 2005 15:54:46 +0200
User-agent: Debian Thunderbird 1.0.2 (X11/20050331)

Thomas Petazzoni wrote:
> Is it a bug ? Did I miss something ?

I guess the problem comes from different behaviors between shells (they
can put whatever they want in argv[0]). The next version of CDuce will
get rid of the external tool.

-- Alain

reply via email to

[Prev in Thread] Current Thread [Next in Thread]