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/trunk/_run-sml
ViewVC logotype

Diff of /config/trunk/_run-sml

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

revision 722, Mon Nov 6 19:54:32 2000 UTC revision 756, Thu Dec 14 16:01:33 2000 UTC
# Line 53  Line 53 
53  #############################################################################  #############################################################################
54    
55  # special shortcut for frequent use (and for Linux' binfmt)  # special shortcut for frequent use (and for Linux' binfmt)
56  case "$1" in /* | ./* | ../* ) HEAP="@SMLload=$1"; shift ;; esac  case "$1" in
57        /* | ./* | ../* )
58            case "$1" in
59                *.cm | *.sml | *.sig | *.fun )
60                    ;;
61                * )
62                    HEAP="@SMLload=$1"
63                    shift
64                    ;;
65            esac
66            ;;
67    esac
68    
69  ALLOC=""  ALLOC=""
70    

Legend:
Removed from v.722  
changed lines
  Added in v.756

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