make/linux/adlc_updater

Wed, 14 Oct 2020 17:44:48 +0800

author
aoqi
date
Wed, 14 Oct 2020 17:44:48 +0800
changeset 9931
fd44df5e3bc3
parent 6876
710a3c8b516e
permissions
-rw-r--r--

Merge

aoqi@0 1 #! /bin/sh
aoqi@0 2 #
aoqi@0 3 # This file is used by adlc.make to selectively update generated
aoqi@0 4 # adlc files. Because source and target diretories are relative
aoqi@0 5 # paths, this file is copied to the target build directory before
aoqi@0 6 # use.
aoqi@0 7 #
aoqi@0 8 # adlc-updater <file> <source-dir> <target-dir>
aoqi@0 9 #
aoqi@0 10 fix_lines() {
aoqi@0 11 # repair bare #line directives in $1 to refer to $2
aoqi@0 12 awk < $1 > $1+ '
aoqi@0 13 /^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next}
aoqi@0 14 {print}
aoqi@0 15 ' F2=$2
aoqi@0 16 mv $1+ $1
aoqi@0 17 }
aoqi@0 18 fix_lines $2/$1 $3/$1
aoqi@0 19 [ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \
aoqi@0 20 ( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 )

mercurial