diff options
author | Clint Adams <clint@debian.org> | 2018-07-04 13:05:31 -0400 |
---|---|---|
committer | Clint Adams <clint@debian.org> | 2018-07-04 13:05:31 -0400 |
commit | 117dcd10d7e04d0dda7668518b8d085027f4d705 (patch) | |
tree | f9612d6268ab16555fb21be04bc7594f9eb6ce4f /sed/sed.h | |
parent | 1c0d840cad3dc7c951a86c9c128a721e9ebcd2cf (diff) |
New upstream version 4.5
Diffstat (limited to 'sed/sed.h')
-rw-r--r-- | sed/sed.h | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -1,5 +1,5 @@ /* GNU SED, a batch stream editor. - Copyright (C) 1989-2017 Free Software Foundation, Inc. + Copyright (C) 1989-2018 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -278,3 +278,11 @@ extern void cancel_cleanup (void); #else # define IF_LINT(Code) /* empty */ #endif + +#ifndef FALLTHROUGH +# if __GNUC__ < 7 +# define FALLTHROUGH ((void) 0) +# else +# define FALLTHROUGH __attribute__ ((__fallthrough__)) +# endif +#endif |