chiark / gitweb /
produce debugging output when debugging with gdb
authorian <ian>
Sun, 20 Jul 2008 17:36:56 +0000 (17:36 +0000)
committerian <ian>
Sun, 20 Jul 2008 17:36:56 +0000 (17:36 +0000)
hostside/xs.gdb

index b2787d06a2fc03986f952d90d1cc4d9ada221bc8..46309988ed594c5af35bff3d1009b98d7755c474 100644 (file)
@@ -5,5 +5,6 @@ break predict_problem
 break safety_panic
 break obc_error
 #break findhead_nextseg
-set args -Dsafety-predictseg -S+realtime.log shinkansen.speeds.record santafe.speeds.record homes.record 
+set args -Lt -S+realtime.log shinkansen.speeds.record santafe.speeds.record homes.record 
 run
+# -Dsafety-predictseg