Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /tests/trunk/bin/testml.sh
ViewVC logotype

Diff of /tests/trunk/bin/testml.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2071, Tue Oct 31 02:58:12 2006 UTC revision 2401, Wed Apr 11 20:50:59 2007 UTC
# Line 186  Line 186 
186    
187  $ECHO -u2 ${CMD} Building special version of SML for $OPSYS ...  $ECHO -u2 ${CMD} Building special version of SML for $OPSYS ...
188  $SML @SMLquiet @SMLdebug=/dev/null << xxx 1>/dev/null  $SML @SMLquiet @SMLdebug=/dev/null << xxx 1>/dev/null
189          Compiler.Control.primaryPrompt:="";          Control.primaryPrompt:="";
190          Compiler.Control.secondaryPrompt:="";          Control.secondaryPrompt:="";
191          Compiler.Control.Print.printLength := 1000;          Control.Print.printLength := 1000;
192          CM.verbose (SOME false);          #set(CM.Control.verbose) false;
193          (SMLofNJ.exportML "$TSML"; ());          (SMLofNJ.exportML "$TSML"; ());
194  xxx  xxx
195    

Legend:
Removed from v.2071  
changed lines
  Added in v.2401

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0