X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fvlog.c;h=6494de9322bdc33e213389083c8699808d3d0bc3;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=6b3d871f5197f402425863b3156780e298383a1a;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/lib/vlog.c b/lib/vlog.c
index 6b3d871f..6494de93 100644
--- a/lib/vlog.c
+++ b/lib/vlog.c
@@ -31,6 +31,7 @@
  * derivatives without specific, written prior permission.
  */
 
+#include <config.h>
 #include "vlog.h"
 #include <assert.h>
 #include <errno.h>