From: jihoonl <jihoonl>
Date: Tue, 7 Jul 2009 23:48:41 +0000 (+0000)
Subject: :
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9960b672a02197bc85a01193ac4d51f75bc653fb;p=IRC.git

:
---

diff --git a/Robust/src/Benchmarks/SingleTM/Intruder/extractLines b/Robust/src/Benchmarks/SingleTM/Intruder/extractLines
new file mode 100755
index 00000000..c75e5726
--- /dev/null
+++ b/Robust/src/Benchmarks/SingleTM/Intruder/extractLines
@@ -0,0 +1,3 @@
+#!/bin/sh
+lines=$(grep -n "#" $1 | cut -d: -f1 | sed '1q')
+sed '/^#/d' $1 > ttt$1