diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-21 22:40:44 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-21 22:40:44 +0000 |
| commit | c23df4c98173f0733945f3d14009cdd5ffbee36b (patch) | |
| tree | f7b4ffba2bdfdd59e02d3ac40cf49277e24aea47 | |
| parent | c91345eeaf5396e8cf5ddd99c5819cc9a53131c3 (diff) | |
| download | klee-c23df4c98173f0733945f3d14009cdd5ffbee36b.tar.gz | |
Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450
( Fix compilation of unittests under Clang )
| -rw-r--r-- | unittests/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unittests/Makefile b/unittests/Makefile index dd005620..175ccdd5 100644 --- a/unittests/Makefile +++ b/unittests/Makefile @@ -16,7 +16,7 @@ include $(LEVEL)/Makefile.common # Remove -fno-rtti as this prevents typeid() being used # in gtest -CXX.Flags := $(filter-out -fno-rtti,$(CPP.Flags)) +CXX.Flags := $(filter-out -fno-rtti,$(CXX.Flags)) clean:: $(Verb) $(RM) -f *Tests |