1 #! /bin/sh 2 # 3 # This file is used by adlc.make to selectively update generated 4 # adlc files. Because source and target diretories are relative 5 # paths, this file is copied to the target build directory before 6 # use. 7 # 8 # adlc-updater <file> <source-dir> <target-dir> 9 # 10 fix_lines() { 11 # repair bare #line directives in $1 to refer to $2 12 # and add an override of __FILE__ with just the basename on the 13 # first line of the file. 14 awk < $1 > $1+ -v F2=$2 ' 15 BEGIN { print "#line 1 \"" F2 "\""; } 16 /^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next} 17 {print} 18 ' 19 mv $1+ $1 20 } 21 fix_lines $2/$1 $1 22 [ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \ 23 ( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 )