fix postconf

mirleft · May 2, 2015 · 0cb2674 · 0cb2674
1 parent 6e6cdc0
commit 0cb2674
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/postconf b/postconf
@@ -1,6 +1,8 @@
 #!/bin/sh
 
-grep -q '^xen="true"' setup.data || exit 0
-
 export PKG_CONFIG_PATH="$(opam config var prefix)/lib/pkgconfig"
-echo "XEN_CFLAGS=\"$(pkg-config --static mirage-xen --cflags)\"" >> setup.data
+
+XEN_CFLAGS="disabled"
+grep -q '^xen="true"' setup.data && XEN_CFLAGS="$(pkg-config --static mirage-xen --cflags)"
+
+echo "XEN_CFLAGS=\"${XEN_CFLAGS}\"" >> setup.data