diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-05-10 10:42:35 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-05-10 10:46:03 +0200 |
| commit | b61bf2f0e8bdc1e522ae8e97d57d5625163b42ea (patch) | |
| tree | da450b70c8a3091b5ff0f2816fa028f364fbb3a9 /src/getargs.c | |
| parent | 19f45df02bf434477731a9aab9b3add5c642d01a (diff) | |
| download | bison-b61bf2f0e8bdc1e522ae8e97d57d5625163b42ea.tar.gz | |
don't use stdnoreturn
Reported by Paul Eggert.
* src/getargs.c: We don't need it anyway, since we use _Noreturn.
* data/skeletons/c.m4: While at it, update the definition of _Noreturn
stolen from gnulib.
Diffstat (limited to 'src/getargs.c')
| -rw-r--r-- | src/getargs.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/getargs.c b/src/getargs.c index 74474704..4815eaa2 100644 --- a/src/getargs.c +++ b/src/getargs.c @@ -30,7 +30,6 @@ #include <getopt.h> #include <progname.h> #include <quote.h> -#include <stdnoreturn.h> #include <textstyle.h> #include "complain.h" |