Browse files

Regenerate configure.

  • Loading branch information...
1 parent a0e72ea commit 4907eba2f1692d4e9a4000a09e5e694053264a7f @pmundkur pmundkur committed Oct 20, 2013
Showing with 1 addition and 0 deletions.
  1. +1 −0 configure
View
1 configure
@@ -7395,4 +7395,5 @@ CIL configuration:
gcc to use CC $CC
default compiler DEFAULT_COMPILER $DEFAULT_COMPILER
CIL version CIL_VERSION $CIL_VERSION
+ Native OCaml CIL libs $OCAMLNATDYNLINK
EOF

0 comments on commit 4907eba

Please sign in to comment.