diff options
Diffstat (limited to 'print/texlive-base/files/patch-texk_dvisvgm_dvisvgm-src_src_Font.cpp')
| -rw-r--r-- | print/texlive-base/files/patch-texk_dvisvgm_dvisvgm-src_src_Font.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/print/texlive-base/files/patch-texk_dvisvgm_dvisvgm-src_src_Font.cpp b/print/texlive-base/files/patch-texk_dvisvgm_dvisvgm-src_src_Font.cpp new file mode 100644 index 000000000000..ff99cd7c47cd --- /dev/null +++ b/print/texlive-base/files/patch-texk_dvisvgm_dvisvgm-src_src_Font.cpp @@ -0,0 +1,10 @@ +--- texk/dvisvgm/dvisvgm-src/src/Font.cpp.orig 2022-01-29 15:59:04 UTC ++++ texk/dvisvgm/dvisvgm-src/src/Font.cpp +@@ -18,6 +18,7 @@ + ** along with this program; if not, see <http://www.gnu.org/licenses/>. ** + *************************************************************************/ + ++#include <sys/time.h> + #include <cstdlib> + #include <fstream> + #include <set> |