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 )