git-svn-id: svn://10.65.10.50/branches/R_10_00@23289 c028cbd2-c16b-5b4b-a496-9718f37d4682
		
			
				
	
	
		
			20 lines
		
	
	
		
			480 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
			
		
		
	
	
			20 lines
		
	
	
		
			480 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
| #!/bin/sh
 | |
| #
 | |
| # regenerates the file given as command line argument by running config.status
 | |
| # (the file is supposed to be generated by configure script)
 | |
| #
 | |
| # Version: $Id: regen 51530 2008-02-03 17:08:41Z VZ $
 | |
| # Author:  VZ
 | |
| ################################################################################
 | |
| 
 | |
| if test "x$1" = "x"; then
 | |
|     echo "Usage: $0 file_to_regenerate" >&2
 | |
|     exit 1
 | |
| fi
 | |
| 
 | |
| CONFIG_FILES=$*
 | |
| CONFIG_HEADERS=
 | |
| export CONFIG_FILES CONFIG_HEADERS
 | |
| ./config.status
 | |
| exit $?
 |