mirror of
				https://github.com/samba-team/samba.git
				synced 2025-10-24 15:33:20 +03:00 
			
		
		
		
	
		
			
				
	
	
		
			25 lines
		
	
	
		
			401 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			25 lines
		
	
	
		
			401 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
| #!/bin/sh
 | |
| 
 | |
| LEX="$1"
 | |
| SRC="$2"
 | |
| DEST="$3"
 | |
| 
 | |
| dir=`dirname $SRC`
 | |
| file=`basename $SRC`
 | |
| base=`basename $SRC .l`
 | |
| if [ -z "$LEX" ]; then
 | |
| 	echo "lex not found - not regenerating $DEST"
 | |
| 	exit;
 | |
| fi
 | |
| if [ -r $DEST ]; then
 | |
| 	if [ x`find $SRC -newer $DEST -print` != x$SRC ]; then
 | |
| 		exit;
 | |
| 	fi
 | |
| fi
 | |
| TOP=`pwd`
 | |
| if cd $dir && $LEX $file; then
 | |
| 	sed '/^#/ s|$base.yy\.c|$DEST|' $base.yy.c > $base.c
 | |
| 	rm -f $base.yy.c
 | |
| fi
 | |
| cd $TOP
 |