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 /config/releases/release-110.72/_run-sml
ViewVC logotype

Diff of /config/releases/release-110.72/_run-sml

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

revision 213, Fri Jan 15 21:18:35 1999 UTC revision 214, Mon Jan 18 20:12:03 1999 UTC
# Line 22  Line 22 
22    
23  # the path of the directory in which executables (like this file) are kept.  # the path of the directory in which executables (like this file) are kept.
24  BIN_DIR=@BINDIR@  BIN_DIR=@BINDIR@
25    if [ ! -d "$BIN_DIR" ]; then
26        cmddir=`dirname $0`
27        case "$cmddir" in
28            /* ) BIN_DIR="$cmddir";;
29            * ) BIN_DIR=`cd $cmddir; pwd` ;;
30        esac
31    fi
32    
33  # the path of the directory in which the runtime system executables are kept.  # the path of the directory in which the runtime system executables are kept.
34  RUN_DIR=$BIN_DIR/.run  RUN_DIR=$BIN_DIR/.run
# Line 45  Line 52 
52  #  #
53  #############################################################################  #############################################################################
54    
55    # special shortcut for frequent use (and for Linux' binfmt)
56    case "$1" in /* | ./* | ../* ) HEAP="@SMLload=$1"; shift ;; esac
57    
58  #  #
59  # Process command line arguments  # Process command line arguments
60  #  #

Legend:
Removed from v.213  
changed lines
  Added in v.214

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