please.sh build: always update the index before diff'ing

This bug was lurking there, like, forever.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

please.sh

@@ -468,6 +468,7 @@ pkg_build () {
 				'"$extra_makepkg_opts" ||
 		die "%s: could not build\n" "$sdk/$pkgpath"
 
+		git update-index -q --refresh &&
 		git diff-files --quiet --ignore-submodules PKGBUILD ||
 		git commit -s -m "$package: new version" PKGBUILD ||
 		die "%s: could not commit after build\n" "$sdk/$pkgpath"
@@ -512,6 +513,7 @@ pkg_build () {
 
 		if test "a$sdk32" = "a$sdk"
 		then
+			git update-index -q --refresh &&
 			git diff-files --quiet --ignore-submodules PKGBUILD ||
 			git commit -s -m "$package: new version" PKGBUILD ||
 			die "%s: could not commit after build\n" "$sdk/$pkgpath"