SCM Repository
Diff of /sml/trunk/config/_run-sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 936, Thu Sep 20 19:47:11 2001 UTC | revision 937, Thu Sep 20 21:20:28 2001 UTC | |
|---|---|---|
| # | Line 73 | Line 73 |
| 73 | # | # |
| 74 | # Process command line arguments | # Process command line arguments |
| 75 | # | # |
| ARGS="" | ||
| 76 | while [ "$#" != "0" ]; do | while [ "$#" != "0" ]; do |
| 77 | arg=$1; shift | arg=$1 |
| 78 | case $arg in | case $arg in |
| 79 | @SMLrun=*) | @SMLrun=*) |
| 80 | shift | |
| 81 | RUN=`echo $arg | sed 's/@SMLrun=//'` | RUN=`echo $arg | sed 's/@SMLrun=//'` |
| 82 | ;; | ;; |
| 83 | @SMLload=*) | @SMLload=*) |
| 84 | HEAP=$arg; | shift |
| 85 | HEAP=$arg | |
| 86 | ;; | ;; |
| 87 | @SMLappl) | @SMLappl) |
| 88 | shift | |
| 89 | if [ "$#" = "0" ]; then | if [ "$#" = "0" ]; then |
| 90 | echo "$CMD: missing argument for @SMLappl option" | echo "$CMD: missing argument for @SMLappl option" |
| 91 | exit 1 | exit 1 |
| 92 | fi | fi |
| 93 | APPL=$1; shift | APPL=$1 |
| 94 | shift | |
| 95 | ;; | ;; |
| 96 | @SMLversion) | @SMLversion) |
| 97 | echo "$CMD @VERSION@" | echo "$CMD @VERSION@" |
| 98 | exit 0 | exit 0 |
| 99 | ;; | ;; |
| 100 | @SMLalloc=*) | @SMLalloc=*) |
| 101 | shift | |
| 102 | ALLOC=$arg | ALLOC=$arg |
| 103 | ;; | ;; |
| 104 | *) | *) |
| 105 | ARGS="$ARGS $arg" | break |
| 106 | ;; | ;; |
| 107 | esac | esac |
| 108 | done | done |
| # | Line 182 | Line 186 |
| 186 | # | # |
| 187 | # run the sucker! | # run the sucker! |
| 188 | # | # |
| 189 | exec $RUN @SMLcmdname=$0 $HEAP $ALLOC $ARGS | exec $RUN @SMLcmdname=$0 $HEAP $ALLOC "$@" |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
