  		cp "$$execdir/git-remote-http$X" "$$execdir/$$p" || exit; \
  	done && \
 diff -ru source/progress.c source-new/progress.c
---- source/progress.c	2017-06-04 18:08:11.000000000 -0700
-+++ source-new/progress.c	2017-08-15 13:29:42.356302602 -0700
+--- source/progress.c	2017-06-04 19:08:11.000000000 -0600
++++ source-new/progress.c	2018-12-02 14:18:59.804197591 -0700
 @@ -52,11 +52,13 @@
  
  	progress_update = 0;

+
 #endif
diff -ru source/Makefile source-new/Makefile
--- source/Makefile	2017-06-04 18:08:11.000000000 -0700
+++ source-new/Makefile	2017-08-15 13:29:42.356302602 -0700
@@ -1802,7 +1802,6 @@
 
 $(BUILT_INS): git$X

 	} else
 		/* avoid splitting a message in the middle */
diff -ru source/dir.c source-new/dir.c
--- source/dir.c	2017-06-04 19:08:11.000000000 -0600
+++ source-new/dir.c	2018-12-02 14:18:59.804197591 -0700
@@ -1891,14 +1891,14 @@
 static const char *get_ident_string(void)
 {
