[clean-list] Batch Jobs for the Clean IDE ?

[Fabien Todescato]

Dear Clean Users,

Does anyone know if it is possible to have the Clean IDE make one or several
projects in automatic batch mode, for example by providing project file
names on the command-line ?

This would be very handy for having huge Clean projects being automatically
rebuilt during the night on compilation server...

Thanks.


Fabien
"I still send my shirts to an old fashion laundry. They tear off the buttons
by hand."