|
3960
|
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 awk < $1 > $1+ '
|
|
|
13 /^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next}
|
|
|
14 {print}
|
|
|
15 ' F2=$2
|
|
|
16 mv $1+ $1
|
|
|
17 }
|
|
|
18 fix_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 )
|
