view make/linux/adlc_updater @ 285:51ae48d8072f

6736718: more copyright headers wrong Summary: Changed license headers to GPL Reviewed-by: tonyp, rasbold
author kamg
date Wed, 13 Aug 2008 08:56:44 -0400
parents a294fd0c4b38
children 284d0af00d53
line wrap: on
line source

#! /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>
#
[ -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 )