I noticed a couple of spots that used '0' rather than 'false' when
modifying pagination_enabled. This patch cleans these up.
going out we leave it that way. */
if (observer_mode)
{
- pagination_enabled = 0;
+ pagination_enabled = false;
non_stop = non_stop_1 = true;
}
tab_expansion_file stream;
scoped_restore save_pagination
- = make_scoped_restore (&pagination_enabled, 0);
+ = make_scoped_restore (&pagination_enabled, false);
scoped_restore save_stdout
= make_scoped_restore (&gdb_stdout, &stream);