X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=33bc594273331a5efc7cee09eea6952b6b11537a;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=43b27a39a0d0e3b1311eb54402b4fb2e43f8744d;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index 43b27a39..33bc5942 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -30,6 +30,7 @@
  * advertising or publicity pertaining to the Software or any
  * derivatives without specific, written prior permission.
  */
+#include <config.h>
 #include "fatal-signal.h"
 #include <assert.h>
 #include <errno.h>