diff options
| author | Joel Brobecker <brobecker@gnat.com> | 2008-09-16 18:21:33 +0000 |
|---|---|---|
| committer | Joel Brobecker <brobecker@gnat.com> | 2008-09-16 18:21:33 +0000 |
| commit | b1e40a6f9198534d5d4545ff4706779cb9dae8c8 (patch) | |
| tree | 039a7cf00a8c073e2144e9ead162eacdcf54c404 | |
| parent | 9c2d0ef98abc05ea6fae35be6db732b22bba71b5 (diff) | |
| download | gdb-b1e40a6f9198534d5d4545ff4706779cb9dae8c8.zip gdb-b1e40a6f9198534d5d4545ff4706779cb9dae8c8.tar.gz gdb-b1e40a6f9198534d5d4545ff4706779cb9dae8c8.tar.bz2 | |
* gstdint.h: Delete.
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/gstdint.h | 33 |
2 files changed, 4 insertions, 33 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 825ddc4..0578859 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2008-09-16 Joel Brobecker <brobecker@adacore.com> + + * gstdint.h: Delete. + 2008-09-15 Mark Kettenis <kettenis@gnu.org> * infcall.c (generic_push_dummy_code): Remove. diff --git a/gdb/gstdint.h b/gdb/gstdint.h deleted file mode 100644 index a0422f5..0000000 --- a/gdb/gstdint.h +++ /dev/null @@ -1,33 +0,0 @@ -/* Copyright (C) 2008 Free Software Foundation, Inc. - - This file is part of GDB. - - 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 - the Free Software Foundation; either version 3 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License - along with this program. If not, see <http://www.gnu.org/licenses/>. */ - -/* The libdecnumber library, on which GDB depends, includes a header file - called gstdint.h instead of relying directly on stdint.h. GDB, on the - other hand, includes stdint.h directly, relying on the fact that gnulib - generates a copy if the system doesn't provide one or if it is missing - some features. Unfortunately, gstdint.h and stdint.h cannot be included - at the same time, which may happen when we include a file from - libdecnumber. - - The purpose of this file is to override the libdecnumber/gstdint.h file - to use stdint.h instead. Thanks to the order of our include path, - files from the GDB source tree have precedence over files from our - dependencies. So the presence of this file will ensure that we - consistently use the same stdint.h file when compiling GDB source - files. */ - -#include <stdint.h> |