diff options
Diffstat (limited to 'gdb/gdbarch-gen.h')
| -rw-r--r-- | gdb/gdbarch-gen.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gdb/gdbarch-gen.h b/gdb/gdbarch-gen.h index d9d81b7d386..b7beb73d36d 100644 --- a/gdb/gdbarch-gen.h +++ b/gdb/gdbarch-gen.h @@ -20,7 +20,9 @@ You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ -/* This file was created with the aid of ``gdbarch.py''. */ +/* To regenerate this file, run: + ./gdbarch.py +*/ |