Make SD-VBS compatible with run_bench.sh and cleanup

SD-VBS:
- Run silently
- Fix some whitespace errors
- Don't duplicate extra.h
- Auto-detect if building with LITMUS-RT
- Disable result checking
- Add helper symlinks
Misc:
- Remove unused code from libextra
- Set some missing rt_param fields in libextra
- Disable CSV info dump from computeSMTslowdown.sh
- Widen scope of .gitignore on .txt files
- Include list of 2MB DIS pair benchmarks and inputs

1 files changed, 11 insertions, 8 deletions

diff --git a/.gitignore b/.gitignore
index 057a48b..0e0db96 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,9 @@
 *.txt.clean
 # But not benchmark lists
 !*Names.txt
+# Special-case .txt handling for SD-VBS
+**/12345.txt
+!SD-VBS/benchmarks/**/*.txt
 
 # Ignore DIS benchmark binaries
 **/field
@@ -40,12 +43,7 @@
 **/statemate
 **/susan
 
-# Ignore random walk benchmark
-**/random_walk
-
-# Ignore misc debug and build outputs
-**/.gdb_history
-
+# Ignore SD-VBS binaries
 **/mser
 **/multi_ncut
 **/stitch
@@ -56,5 +54,10 @@
 **/sift
 **/localization
 **/disparity
-**/12345.txt
-!SD-VBS/**/*.txt
+
+# Ignore random walk benchmark
+**/random_walk
+
+# Ignore misc temporary files
+**/.gdb_history
+*.swp