44 lines
		
	
	
		
			565 B
		
	
	
	
		
			Plaintext
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			44 lines
		
	
	
		
			565 B
		
	
	
	
		
			Plaintext
		
	
	
		
			Executable File
		
	
	
	
	
| compiler=$1
 | |
| dstext=$1
 | |
| srcext=$dstext
 | |
| if [ $dstext == msk2 ];
 | |
| then
 | |
| 	dstext=msk
 | |
| fi
 | |
| if [ $dstext == msk ];
 | |
| then
 | |
| 	srcext=uml
 | |
| fi
 | |
| for i in $2*.$srcext
 | |
| do
 | |
| n=`basename $i .$srcext`
 | |
| of=../../exed/
 | |
| if [ $compiler == trr ];
 | |
| then
 | |
| 	of=$of/recdesc/
 | |
| fi
 | |
| if [ $compiler == dir ];
 | |
| then
 | |
| 	of=$of/recdesc/
 | |
| fi
 | |
| of=$of$n.$dstext
 | |
| ./$compiler $i $of
 | |
| of1=../../exe/
 | |
| if [ $compiler == trr ];
 | |
| then
 | |
| 	of1=$of1/recdesc/
 | |
| fi
 | |
| if [ $compiler == dir ];
 | |
| then
 | |
| 	of1=$of/1recdesc/
 | |
| fi
 | |
| of1=$of1$n.$dstext
 | |
| if [ ! -L $of1 ];
 | |
| then
 | |
| 	dir=`pwd`
 | |
| 	cd ../../exe/
 | |
| 	ln -s ../exed/$n.$dstext $n.$dstext
 | |
| 	cd $dir
 | |
| fi
 | |
| done
 |