-1:000000000000 | 435:a61af66fc99e |
---|---|
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 [ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \ | |
11 ( [ -f $3/$1 ]; echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 ) |