X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=switch%2Fcrc32.c;h=f6c2c0b3774d452f27cd8b4d295cae2350ec1d2d;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=97c09611e12046e7725d3ded93c713b57eb74f7d;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/switch/crc32.c b/switch/crc32.c
index 97c09611..f6c2c0b3 100644
--- a/switch/crc32.c
+++ b/switch/crc32.c
@@ -31,6 +31,7 @@
  * derivatives without specific, written prior permission.
  */
 
+#include <config.h>
 #include "crc32.h"
 
 void