|
| 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
| [Prev in Thread] | Current Thread | [Next in Thread] |