#! /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+
−
  awk < $1 > $1+ '+
−
    /^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next}+
−
    {print}+
−
  ' F2=$2+
−
  mv $1+ $1+
−
}+
−
[ -f $3/$1 ] && (fix_lines $2/$1 $3/$1; cmp -s $2/$1 $3/$1) || \+
−
( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 )+
−