diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2018-06-08 18:03:32 +0200 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2018-06-08 18:03:32 +0200 |
commit | efeefde8872ebf449d866ff76a29e7dd95ba2c1a (patch) | |
tree | c44c8c3e0db65aae144344cdc43dabc13541c667 | |
parent | 5fbd3f8213121d4cf550e712ee2bd3a5d7b4a276 (diff) | |
parent | 9aa09cffed8c656ad3bc11fe343b663da1c834c7 (diff) | |
download | mpc-git-efeefde8872ebf449d866ff76a29e7dd95ba2c1a.tar.gz |
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/mpc/mpc
-rw-r--r-- | m4/mpc.m4 | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -1,6 +1,6 @@ # mpc.m4 # -# Copyright (C) 2008, 2009, 2010, 2011, 2012, 2014 INRIA +# Copyright (C) 2008, 2009, 2010, 2011, 2012, 2014, 2018 INRIA # # This file is part of GNU MPC. # @@ -91,10 +91,6 @@ AC_DEFUN([MPC_C_CHECK_WARNINGCFLAGS], [ AC_REQUIRE([AC_PROG_GREP]) if echo $VERSION | grep -c dev >/dev/null 2>&1 ; then if test "x$GCC" = "xyes" -a "x$compiler" != "xicc"; then - # enable -Werror for myself (Andreas Enge) - if test "x$USER" = "xenge"; then - MPC_C_CHECK_FLAG(-Werror) - fi MPC_C_CHECK_FLAG(-g) MPC_C_CHECK_FLAG(-std=c99) MPC_C_CHECK_FLAG(-Wno-long-long) |