index 861ef4c0c60828f372571802867d8b3d7064bc2a..4d175d8ea1d7a83d0b77cc0bf0e62f9638d40d89 100755 (executable)
}
check_cache_at () {
}
check_cache_at () {
- clean_if_empty=`git-diff-files "$1"`
+ clean_if_empty=`git-diff-files -- "$1"`
case "$clean_if_empty" in
'') echo "$1: clean" ;;
?*) echo "$1: dirty" ;;
case "$clean_if_empty" in
'') echo "$1: clean" ;;
?*) echo "$1: dirty" ;;