From b3f61791f1e9095ce8ae9c6d6415b4ee94e2f7eb Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Sun, 21 Mar 2004 14:06:38 +0000
Subject: Add libmp.

---
 src/libmp/port/reduce | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/libmp/port/reduce

(limited to 'src/libmp/port/reduce')

diff --git a/src/libmp/port/reduce b/src/libmp/port/reduce
new file mode 100644
index 00000000..a857a28c
--- /dev/null
+++ b/src/libmp/port/reduce
@@ -0,0 +1,16 @@
+O=$1
+shift
+objtype=$1
+shift
+
+ls -p ../$objtype/*.[cs] >[2]/dev/null | sed 's/..$//' > /tmp/reduce.$pid
+#
+#	if empty directory, just return the input files
+#
+if (! ~ $status '|') {
+	echo $*
+	rm /tmp/reduce.$pid
+	exit 0
+}
+echo $* | tr ' ' \012 | grep -v -f /tmp/reduce.$pid | tr \012 ' '
+rm /tmp/reduce.$pid
-- 
cgit v1.2.3