diff options
Diffstat (limited to 'externals/gridflow/bin/demangle')
| -rwxr-xr-x | externals/gridflow/bin/demangle | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/externals/gridflow/bin/demangle b/externals/gridflow/bin/demangle deleted file mode 100755 index 923bca25..00000000 --- a/externals/gridflow/bin/demangle +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env ruby -f = File.popen "gdb", "r+" -f.puts "maintenance demangle #{ARGV[0]}", "quit" -puts f.read.split("\n")[-2].sub(/^\(gdb\) /,"") |