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