# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1348520279 14400
# Node ID 5930d41cade166c45d132986b3921a702e67c602
# Parent  e39a51e0d54b5e77eaa4594932d82d9ef73e5b2e
set PS4 to "" instead for --traditional mode

* octave.cc (maximum_braindamage): Set PS4 to "".

diff -r e39a51e0d54b -r 5930d41cade1 libinterp/octave.cc
--- a/libinterp/octave.cc	Sun Sep 23 10:46:08 2012 -0700
+++ b/libinterp/octave.cc	Mon Sep 24 16:57:59 2012 -0400
@@ -675,6 +675,7 @@
 
   bind_internal_variable ("PS1", ">> ");
   bind_internal_variable ("PS2", "");
+  bind_internal_variable ("PS4", "");
   bind_internal_variable ("allow_noninteger_range_as_index", true);
   bind_internal_variable ("beep_on_error", true);
   bind_internal_variable ("confirm_recursive_rmdir", false);