24 lines
733 B
Bash
24 lines
733 B
Bash
#! /bin/sh
|
|
#
|
|
# This file is used by adlc.make to selectively update generated
|
|
# adlc files. Because source and target diretories are relative
|
|
# paths, this file is copied to the target build directory before
|
|
# use.
|
|
#
|
|
# adlc-updater <file> <source-dir> <target-dir>
|
|
#
|
|
fix_lines() {
|
|
# repair bare #line directives in $1 to refer to $2
|
|
# and add an override of __FILE__ with just the basename on the
|
|
# first line of the file.
|
|
awk < $1 > $1+ -v F2=$2 '
|
|
BEGIN { print "#line 1 \"" F2 "\""; }
|
|
/^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next}
|
|
{print}
|
|
'
|
|
mv $1+ $1
|
|
}
|
|
fix_lines $2/$1 $1
|
|
[ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \
|
|
( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 )
|