diff options
| author | Peter Powell <petpow@saberuk.com> | 2014-04-14 12:42:22 +0100 |
|---|---|---|
| committer | Attila Molnar <attilamolnar@hush.com> | 2014-05-23 14:13:51 +0200 |
| commit | e6d245a3e80c0e0c05476e5bd9c45a77e16fecec (patch) | |
| tree | 490b8e34f3bd0f9b85959782a1760e2c7e55fcea /tools | |
| parent | b512f1b9667ca0479d42e771082f3bc8d92c63a2 (diff) | |
Replace the configure templating system with something better.
A large amount of this code can be removed when buildtool is done
as we will not need to worry about the differences between BSD and
GNU Make.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gdbargs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/gdbargs b/tools/gdbargs deleted file mode 100644 index 244c1b29c..000000000 --- a/tools/gdbargs +++ /dev/null @@ -1,3 +0,0 @@ -handle SIGPIPE pass nostop noprint -handle SIGHUP pass nostop noprint -run |