Squashed 'tools/' changes from 4fa0c68..d6ea3ad

d6ea3ad Use git diff to detect changes in rebuild-image

git-subtree-dir: tools
git-subtree-split: d6ea3ad379
This commit is contained in:
Tom Wilkie
2015-10-27 13:17:35 +00:00
parent 21c126249f
commit 5b32aa68b7

View File

@@ -29,7 +29,7 @@ cached_image_rev() {
has_changes() {
local rev1=$1
local rev2=$2
local changes=$(git log --oneline $rev1..$rev2 -- $INPUTFILES | wc -l)
local changes=$(git diff --oneline $rev1..$rev2 -- $INPUTFILES | wc -l)
[ "$changes" -gt 0 ]
}