Author: zacchiro
Date: Tue Aug 28 20:36:44 2007
New Revision: 884
URL: http://svn.gna.org/viewcvs/carbon?rev=884&view=rev
Log:
add global option "is_batch", set when a script is passed to the interactive
shell for batch execution (might need to be accessible elsewhere in the code
...)
Modified:
trunk/src/carbon/options.ml
trunk/src/carbon/options.mli
trunk/src/shell/Makefile.am
trunk/src/shell/main.ml
_______________________________________________
Carbon-commits mailing list
Carbon-commits@gna.org
https://mail.gna.org/listinfo/carbon-commits
