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 756, Thu Dec 14 16:01:33 2000 UTC revision 902, Wed Aug 15 21:17:05 2001 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    if [ `basename $0` = sml ] ; then
57  case "$1" in  case "$1" in
58      /* | ./* | ../* )      /* | ./* | ../* )
59          case "$1" in          case "$1" in
# Line 65  Line 66 
66          esac          esac
67          ;;          ;;
68  esac  esac
69    fi
70    
71  ALLOC=""  ALLOC=""
72    

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

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