changeset 1087:5008714a9eb8

added message_tie.pl
author thomask
date Wed, 19 Jul 2006 12:31:37 +0000
parents 7e8e5013a030
children b72dd1dd228e
files message_tie.pl
diffstat 1 files changed, 14 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/message_tie.pl	Wed Jul 19 12:31:37 2006 +0000
@@ -0,0 +1,14 @@
+#!/usr/bin/perl
+
+my $message_pattern = shift;
+my $last_cmd;
+
+while (<>) {
+	if ($_ =~ /^(run|norun|compile|nocompile): (.*)/){
+		$last_cmd = $2;
+	}
+	if(/$message_pattern/) {
+		print "$last_cmd\n$_\n";
+	}
+}
+