From 872562c26c753814b895f2eccaa5bf14409745b7 Mon Sep 17 00:00:00 2001 From: DavidKorczynski Date: Fri, 10 Dec 2021 21:17:00 +0000 Subject: [PATCH] Eigen: fix build (#7003) --- projects/eigen/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/eigen/build.sh b/projects/eigen/build.sh index 0c90a1751..c82bdb92a 100755 --- a/projects/eigen/build.sh +++ b/projects/eigen/build.sh @@ -24,6 +24,6 @@ cd .. # build fuzzers for fuzzers in $(find $SRC -name '*_fuzzer.cc'); do fuzz_basename=$(basename -s .cc $fuzzers) - $CXX $CXXFLAGS -std=c++11 -I. -Isrc/Eigen/Core \ + $CXX $CXXFLAGS -I. -Isrc/Eigen/Core \ $fuzzers -o $OUT/$fuzz_basename $LIB_FUZZING_ENGINE done