diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-01-30 20:59:34 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-30 20:59:34 +0000 |
commit | 182063dd85a03f2086258946276c8967945ffe95 (patch) | |
tree | 94440d3476f11273b5072685640990ec95042468 /dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch | |
parent | 268511f85b0606dd23fda1991345568dd3e1976b (diff) |
gentoo auto-resync : 30:01:2023 - 20:59:33
Diffstat (limited to 'dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch')
-rw-r--r-- | dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch b/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch new file mode 100644 index 000000000000..b35ba64f8d72 --- /dev/null +++ b/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch @@ -0,0 +1,11 @@ +--- a/src/dune 2023-01-30 20:28:23.578884847 +0100 ++++ b/src/dune 2023-01-30 20:28:33.523713488 +0100 +@@ -2,7 +2,7 @@ + (library + (name tiny_httpd) + (public_name tiny_httpd) +- (libraries threads seq) ++ (libraries threads) + (flags :standard -safe-string -warn-error -a+8) + (wrapped false)) + |