> Just what is "boot_console" anyway? I poked around and there is a file > named "boot_console under godi-tools-boot/ which identifies itself as a > > "executable > /home/gerd/pub/godi-bootstrap/godi-tools/trunk/console-src/console/./boot_console.runtime > script"
There is a boot_console in your godi-rocketboost directory, that calls this one via ocaml (so that the dash bang is irrelevant). Don't you have this boot_console ? If so, what's happening when you run is by hand ? _______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
