X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=controller%2Fcontroller.c;h=8e2c7b5c802160a07fd0b4017e95bba1c2bb0682;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=c43926c40f0be33ada72c492f118cdff80152833;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/controller/controller.c b/controller/controller.c
index c43926c4..8e2c7b5c 100644
--- a/controller/controller.c
+++ b/controller/controller.c
@@ -31,6 +31,8 @@
  * derivatives without specific, written prior permission.
  */
 
+#include <config.h>
+
 #include <errno.h>
 #include <getopt.h>
 #include <limits.h>