-
Erwan Jahier authored
Parent-Version: 0.139 Version-Log: ihm/xlurette/xlurette_main.ml: Change the current dir when the sut changes so that the current dir is the dir of the sut. source/lurettetop.ml: Add a change_dir command. Make user_dir and tmp_lurette global vars. share/configure.in: create .bat and sh scripts take set env vars and run tools (xlurette and lurettetop) so that sourcing lucky_init.cs is no longer necessary. Project-Description: Lurette
45dee352