diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2015-06-23 23:39:52 +0545 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2015-06-23 14:04:49 -0400 |
| commit | b50a153264dae2267e3846772819515c648e3c97 (patch) | |
| tree | 89bcdb65b58d51ce51cc1e8f1e1219265d091448 /sim/arm/dbg_hif.h | |
| parent | 7564fe458c2fe1a77eecfaf5e2f99bec8961d457 (diff) | |
| download | gdb-b50a153264dae2267e3846772819515c648e3c97.zip gdb-b50a153264dae2267e3846772819515c648e3c97.tar.gz gdb-b50a153264dae2267e3846772819515c648e3c97.tar.bz2 | |
sim: assume recentish compiler/systems
Assume the build system supports stdint.h/stdarg.h as those have been
around long enough and we don't care about pre-stdc compilers anymore.
Diffstat (limited to 'sim/arm/dbg_hif.h')
| -rw-r--r-- | sim/arm/dbg_hif.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/sim/arm/dbg_hif.h b/sim/arm/dbg_hif.h index 3c6261a..686ed30 100644 --- a/sim/arm/dbg_hif.h +++ b/sim/arm/dbg_hif.h @@ -14,11 +14,7 @@ You should have received a copy of the GNU General Public License along with this program; if not, see <http://www.gnu.org/licenses/>. */ -#ifdef __STDC__ -# include <stdarg.h> -#else -# include <varargs.h> -#endif +#include <stdarg.h> typedef void Hif_DbgPrint (void *arg, const char *format, va_list ap); typedef void Hif_DbgPause (void *arg); |