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 )