From c09a7cdc8bf871f5b45e17d2129761f373c57cc7 Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain@goyet.com>
Date: Sun, 24 May 2015 21:43:12 +0200
Subject: [PATCH] No pagination in GDB

---
 gdb_script.gdb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gdb_script.gdb b/gdb_script.gdb
index 0ae16ec57..e4fa04f07 100644
--- a/gdb_script.gdb
+++ b/gdb_script.gdb
@@ -1,6 +1,9 @@
 # Let's connect to OpenOCD
 target remote localhost:3333
 
+# GDB pagniation is annoying
+set pagination off
+
 # Load our executable
 load boot.elf