*** old/make/linux/adlc_updater	Mon Dec  8 17:22:20 2008
--- new/make/linux/adlc_updater	Mon Dec  8 17:22:19 2008

*** 5,11 ****
--- 5,19 ----
  # paths, this file is copied to the target build directory before
  # use.
  #
  # adlc-updater <file> <source-dir> <target-dir>
  #
  [ -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 )
+ 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 )