From 9c6680143950542dca64c618adfd0f7c04ef4054 Mon Sep 17 00:00:00 2001
From: em <none@none>
Date: Mon, 5 Nov 1984 11:55:15 +0000
Subject: [PATCH] *** empty log message ***

---
 mach/compare | 2 ++
 mach/install | 7 +++++++
 2 files changed, 9 insertions(+)
 create mode 100755 mach/compare
 create mode 100755 mach/install

diff --git a/mach/compare b/mach/compare
new file mode 100755
index 000000000..32b8be1be
--- /dev/null
+++ b/mach/compare
@@ -0,0 +1,2 @@
+MACH=`(cd .. ; basename \`pwd\`)`
+cmp $1 ../../../lib/${MACH}/$1
diff --git a/mach/install b/mach/install
new file mode 100755
index 000000000..0358e56f4
--- /dev/null
+++ b/mach/install
@@ -0,0 +1,7 @@
+MACH=`(cd .. ; basename \`pwd\`)`
+if cp $1 ../../../lib/${MACH}/$1
+then
+	set -
+	ranlib ../../../lib/${MACH}/$1 >/dev/null 2>&1
+	exit 0
+fi