From 821229741d41ab5a0087ddf289ee01b92e9c0685 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Mon, 15 Feb 2010 20:00:36 +0000
Subject: Some new tools for the tools directory.

amounts to a yak shaving expedition to enable this, which now works:

  tools/diffPickled scala.Either

and since stability is presently broken you will see the following.
(When it's not broken you will see nothing.)

  541,544c541,544
  < 538,4090: EXTref 3: 539(Left) 2
  < 539,4095: TYPEname 4: Left
  < 540,4101: EXTref 3: 541(Right) 2
  < 541,4106: TYPEname 5: Right
  ---
  > 538,4090: EXTref 3: 539(Right) 2
  > 539,4095: TYPEname 5: Right
  > 540,4102: EXTref 3: 541(Left) 2
  > 541,4107: TYPEname 4: Left
---
 tools/strapcp | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 tools/strapcp

(limited to 'tools/strapcp')

diff --git a/tools/strapcp b/tools/strapcp
new file mode 100755
index 0000000000..87e6ef720e
--- /dev/null
+++ b/tools/strapcp
@@ -0,0 +1,5 @@
+#!/bin/sh
+#
+
+THISDIR=`dirname $0`
+${THISDIR}/cpof ${THISDIR}/../build/strap/classes
-- 
cgit v1.2.3