source:
PSPA/testPhilPSPA/trunk/goParmela.sh
@
119
Last change on this file since 119 was 119, checked in by , 12 years ago | |
---|---|
File size: 370 bytes |
Line | |
---|---|
1 | #!/bin/sh |
2 | |
3 | /bin/rm $pbpath/$nameparm.imp |
4 | /bin/rm $pbpath/$nameparm.out |
5 | /bin/rm $pbpath/$nameparm.desz |
6 | echo "fichier entree PARMELA : " $pbpath/$nameparm.in |
7 | ln -s $pbpath/$nameparm.in $pbpath/parmin |
8 | echo $parmelapath |
9 | $parmelapath/parmela $pbpath |
10 | /bin/rm $pbpath/parmin |
11 | mv parmimp $pbpath/$nameparm.imp |
12 | mv parmout $pbpath/$nameparm.out |
13 | mv parmdesz $pbpath/$nameparm.desz |
Note: See TracBrowser
for help on using the repository browser.