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