18 lines
		
	
	
		
			218 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			18 lines
		
	
	
		
			218 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
#!/bin/bash
 | 
						|
 | 
						|
# output version
 | 
						|
bash printinfo.sh
 | 
						|
 | 
						|
make clean > /dev/null
 | 
						|
 | 
						|
if [ -f check-source.pl ] ; then
 | 
						|
  echo "checking white spaces..."
 | 
						|
  perl check-source.pl || exit 1
 | 
						|
fi
 | 
						|
 | 
						|
exit 0
 | 
						|
 | 
						|
# $Source$
 | 
						|
# $Revision$
 | 
						|
# $Date$
 |