From 9d3d55a3d0727be5b790c6b4732726ec517fa7a4 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Mon, 15 Jun 2009 21:05:27 +0000
Subject: [PATCH] forgot a file

---
 .../src/Benchmarks/SingleTM/Bayes/extractLines  | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 Robust/src/Benchmarks/SingleTM/Bayes/extractLines

diff --git a/Robust/src/Benchmarks/SingleTM/Bayes/extractLines b/Robust/src/Benchmarks/SingleTM/Bayes/extractLines
new file mode 100755
index 00000000..bd1b0777
--- /dev/null
+++ b/Robust/src/Benchmarks/SingleTM/Bayes/extractLines
@@ -0,0 +1,17 @@
+#!/bin/sh
+lines=$(grep -n "#" tmp1Bayes.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1Bayes.java > tmpBayes.java
+lines=$(grep -n "#" tmp1Data.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1Data.java > tmpData.java
+lines=$(grep -n "#" tmp1Net.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1Net.java > tmpNet.java
+lines=$(grep -n "#" tmp1Sort.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1Sort.java > tmpSort.java
+lines=$(grep -n "#" tmp1BitMap.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1BitMap.java > tmpBitMap.java
+lines=$(grep -n "#" tmp1Queue.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1Queue.java > tmpQueue.java
+lines=$(grep -n "#" tmp1Learner.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1Learner.java > tmpLearner.java
+lines=$(grep -n "#" tmp1IntList.java | cut -d: -f1 | sed '1q')
+sed '/^#/d' tmp1IntList.java > tmpIntList.java
-- 
2.34.1