Ticket #2391: 0001-Added-mutex-rbtrees-and-time.patch

File 0001-Added-mutex-rbtrees-and-time.patch, 978 bytes (added by Ric Claus, on 08/17/15 at 14:56:18)

  • tools/gdb/python/wscript 

    From 442d84909adec36a5dd4e4136e3bbc6ff71e2e2e Mon Sep 17 00:00:00 2001
From: Ric Claus <claus@slac.stanford.edu>
Date: Mon, 17 Aug 2015 16:36:17 +0200
Subject: [PATCH] Added mutex, rbtrees and time

---
 tools/gdb/python/wscript |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/tools/gdb/python/wscript b/tools/gdb/python/wscript
index 1882d0a..e1a982b 100644
    a b def build(bld): 
    1818              'heaps.py',
    1919              'helper.py',
    2020              'main.py',
     21              'mutex.py',
    2122              'objects.py',
    2223              'percpu.py',
    2324              'pretty.py',
     25              'rbtrees.py',
    2426              'rtems.py',
    2527              'sparc.py',
    2628              'supercore.py',
    2729              'supercore_printer.py',
    2830              'threads.py',
     31              'time.py',
    2932              'watchdog.py']
    3033    bld(features = 'py',
    3134        source = source,