source: PSPA/testPhilPSPA/trunk/goParmela.sh @ 19

Last change on this file since 19 was 17, checked in by lemeur, 12 years ago

modifs mineures
File size: 367 bytes
Line 
1#!/bin/sh
2
3/bin/rm $pbpath/$nameparm.imp
4/bin/rm $pbpath/$nameparm.out
5/bin/rm $pbpath/$nameparm.desz
6echo "fichier entree PARMELA : " $pbpath/$nameparm.in
7ln -s $pbpath/$nameparm.in $pbpath/parmin
8echo $parmelapath
9$parmelapath/parmelamacOS
10/bin/rm  $pbpath/parmin
11mv parmimp $pbpath/$nameparm.imp
12mv parmout $pbpath/$nameparm.out
13mv parmdesz $pbpath/$nameparm.desz
Note: See TracBrowser for help on using the repository browser.