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

diff --git a/utilities/dpctl.c b/utilities/dpctl.c
index f5b2adec..7a3a020e 100644
--- a/utilities/dpctl.c
+++ b/utilities/dpctl.c
@@ -31,6 +31,7 @@
  * derivatives without specific, written prior permission.
  */
 
+#include <config.h>
 #include <errno.h>
 #include <getopt.h>
 #include <inttypes.h>