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# 10fix_lines() { 11 # repair bare #line directives in $1 to refer to $2 12 awk < $1 > $1+ ' 13 /^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next} 14 {print} 15 ' F2=$2 16 mv $1+ $1 17} 18fix_lines $2/$1 $3/$1 19[ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \ 20( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 ) 21