blob: 69281ab2cb91735e4459ed5f9c3070b578ece3da (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- ./coregrind/vg_preloaded.c.orig
+++ ./coregrind/vg_preloaded.c
@@ -42,6 +42,7 @@
originates from Valgrind.
------------------------------------------------------------------ */
+#include <features.h>
#include "pub_core_basics.h"
#include "pub_core_clreq.h"
#include "pub_core_debuginfo.h" // Needed for pub_core_redir.h
|