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 4597, Tue May 15 14:30:48 2018 UTC revision 4598, Tue May 15 14:31:30 2018 UTC
# Line 7  Line 7 
7  #  #
8  CMD=${0##*/}\>  CMD=${0##*/}\>
9    
10    # determine the default path to SML/NJ
11    if [ -x /usr/local/smlnj/bin/sml ] ; then
12      SML_PATH=/usr/local/smlnj/bin/sml
13    elif [ -x /usr/local/bin/sml ] ; then
14      SML_PATH=/usr/local/bin/sml
15    else
16      SML_PATH=sml
17    fi
18    SML=${SML:-"$SML_PATH"}
19    
20  CPULIMIT=400  CPULIMIT=400
 SML=${SML:-"/usr/local/bin/sml"}  
21  KSH=/bin/ksh  KSH=/bin/ksh
22  #DIFF=/bin/diff  #DIFF=/bin/diff
23  #DIFF=/opt/gnu/bin/diff  #DIFF=/opt/gnu/bin/diff

Legend:
Removed from v.4597  
changed lines
  Added in v.4598

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