mirror-sync.sh

@@ -147,13 +147,13 @@ jigdo_install() {
 --- src/util/sha256sum.hh	2019-11-19 10:43:22.000000000 -0500
 +++ src-fix/util/sha256sum.hh	2023-04-19 16:33:40.840831304 -0400
 @@ -27,6 +27,7 @@
- #include <cstring>
- #include <iosfwd>
- #include <string>
+#include <cstring>
+#include <iosfwd>
+#include <string>
 +#include <stdint.h>
 
- #include <bstream.hh>
- #include <debug.hh>
+#include <bstream.hh>
+#include <debug.hh>
 EOF
             patch -u src/util/sha256sum.hh -i jigdo.patch
             if ! ./configure --prefix="$HOME"; then