X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fvlogconf.c;h=838597d436c7786c70247ce438b59d6ff40e788a;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=f42740d89c959be4f42f471e85000f3e4140fd3d;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/utilities/vlogconf.c b/utilities/vlogconf.c
index f42740d8..838597d4 100644
--- a/utilities/vlogconf.c
+++ b/utilities/vlogconf.c
@@ -30,6 +30,7 @@
  * advertising or publicity pertaining to the Software or any
  * derivatives without specific, written prior permission.
  */
+#include <config.h>
 #include "vlog.h"
 
 #include <dirent.h>