From 1c921e3d1e242c7d97878b330fa2e35056cccb79 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Mon, 25 Oct 2010 21:42:07 +0000
Subject: Compile all C files in gnu89 mode.  Needed to build runtime library
 using clang (gnu89 is the gcc default).

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@117319 91177308-0d34-0410-b5e6-96231b3b80d8
---
 Makefile.common | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index ff83602c..8bd74ae0 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -26,6 +26,9 @@ LLVMCC := $(LLVMGCC)
 LLVMCXX := $(LLVMGXX)
 endif
 
+# Needed to build runtime library using clang (gnu89 is the gcc default)
+C.Flags += -std=gnu89
+
 ifeq ($(ENABLE_EXT_STP),1)
   LD.Flags += -L$(STP_ROOT)/lib
   CXX.Flags += -I$(STP_ROOT)/include
-- 
cgit 1.4.1