58 |
exit |
exit |
59 |
breaksw |
breaksw |
60 |
case -mods=*: |
case -mods=*: |
61 |
set MODS = ( $MODS `echo $arg | sed 's/-mods=//' | sed 's/,/ /' `) |
set MODS = ( $MODS `echo $arg | sed 's/-mods=//' | sed 's/,/ /g' `) |
62 |
breaksw |
breaksw |
63 |
case -disable: |
case -disable: |
64 |
case -disable=: |
case -disable=: |
67 |
exit |
exit |
68 |
breaksw |
breaksw |
69 |
case -disable=*: |
case -disable=*: |
70 |
set DISABLE = ( $DISABLE `echo $arg | sed 's/-disable=//' | sed 's/,/ /' `) |
set DISABLE = ( $DISABLE `echo $arg | sed 's/-disable=//' | sed 's/,/ /g' `) |
71 |
breaksw |
breaksw |
72 |
case -enable: |
case -enable: |
73 |
case -enable=: |
case -enable=: |
77 |
exit |
exit |
78 |
breaksw |
breaksw |
79 |
case -enable=*: |
case -enable=*: |
80 |
set ENABLE = ( $ENABLE `echo $arg | sed 's/-enable=//' | sed 's/,/ /' `) |
set ENABLE = ( $ENABLE `echo $arg | sed 's/-enable=//' | sed 's/,/ /g' `) |
81 |
breaksw |
breaksw |
82 |
case -mpi: |
case -mpi: |
83 |
echo "Enabling MPI options" |
echo "Enabling MPI options" |