From def747814a2091d430730e50d5185b94d4a3411c Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 10 Jun 2016 03:00:34 -0700
Subject: [PATCH] store configure flags in config.flags

Reviewed By: akotulski

Differential Revision: D3399760

fbshipit-source-id: f6dedd9
---
 .gitignore   | 1 +
 configure.ac | 8 ++++++++
 2 files changed, 9 insertions(+)

diff --git a/.gitignore b/.gitignore
index 62d3c85cc..0f0850642 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ _build
 /aclocal.m4
 /autom4te.cache
 /config.status
+/config.flags
 /configure
 /Makefile.config
 /.buckversion
diff --git a/configure.ac b/configure.ac
index bc29053bb..2afe8cb1a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -17,6 +17,11 @@ AC_PREREQ([2.63])
 AC_INIT([Infer],
         [0.8.1],
         [https://github.com/facebook/infer/issues/])
+
+# this has to happen just after AC_INIT() because later macros may mess with the arguments passed to
+# this script
+config_flags="$*"
+
 AC_CONFIG_SRCDIR([infer/src/IR/Sil.re])
 
 # WARNING: keep in sync with above
@@ -274,4 +279,7 @@ AC_CONFIG_FILES([
   Makefile.config
 ])
 
+AC_MSG_NOTICE([saving configure flags to ./config.flags])
+echo $config_flags > config.flags
+
 AC_OUTPUT