summaryrefslogtreecommitdiff
path: root/tools/diffPickled
diff options
context:
space:
mode:
authorJason Zaugg <jzaugg@gmail.com>2013-10-28 11:43:28 +0100
committerJason Zaugg <jzaugg@gmail.com>2013-10-28 11:48:04 +0100
commit08c6a9b6b071a4d09b3a5718e3413e6810f0946e (patch)
treef000c6f07d9407c7214c8dac77c4078943fc62a4 /tools/diffPickled
parent7a8d51d45761e33d494a0a247194f8b185680aee (diff)
downloadscala-08c6a9b6b071a4d09b3a5718e3413e6810f0946e.tar.gz
scala-08c6a9b6b071a4d09b3a5718e3413e6810f0946e.tar.bz2
scala-08c6a9b6b071a4d09b3a5718e3413e6810f0946e.zip
Remove tools/*{cp, _scala, _scalac}, and tools/*pickled
The scripts to fire up a compiler or REPL from build products have bitrotted just enough to get rid of them. They do not include the correct JLine, nor the scala modules. I've also removed showPickled and diffPickled which were based on these, and were also based on some code in ShowPickled that no longer exists since 48cc8b4.
Diffstat (limited to 'tools/diffPickled')
-rwxr-xr-xtools/diffPickled51
1 files changed, 0 insertions, 51 deletions
diff --git a/tools/diffPickled b/tools/diffPickled
deleted file mode 100755
index b4a345dc7d..0000000000
--- a/tools/diffPickled
+++ /dev/null
@@ -1,51 +0,0 @@
-#!/bin/sh
-#
-# Shows the difference in pickler output between two variations on a class.
-#
-# If quick and strap are built normally you can run
-#
-# diffPickled foo.bar.Baz
-#
-# to see any differences between them in that class.
-
-USAGE="Usage: $0 classpath1 classpath2 class"
-TOOLSDIR=`dirname $0`
-BUILDDIR="${TOOLSDIR}/../build"
-QUICKDIR="${BUILDDIR}/quick"
-STRAPDIR="${BUILDDIR}/strap"
-
-CP1=""
-CP2=""
-CLASS=""
-
-if [ $# == 1 ] ; then
- if [ -e ${QUICKDIR} ] && [ -e ${STRAPDIR} ] ; then
- CP1=`${TOOLSDIR}/quickcp`
- CP2=`${TOOLSDIR}/strapcp`
- CLASS=$1
- else
- echo $USAGE
- echo "(If only one argument is given, $QUICKDIR and $STRAPDIR must exist.)"
- exit 1
- fi
-elif [ $# == 3 ] ; then
- CP1=$1
- CP2=$2
- CLASS=$3
-else
- echo $USAGE
- exit 1
-fi
-
-TMPDIR="/tmp/scala_pickle_diff${RANDOM}"
-
-if mkdir -m 0700 "$TMPDIR" 2>/dev/null ; then
- ${TOOLSDIR}/showPickled -cp $CP1 $CLASS > "${TMPDIR}/out1.txt"
- ${TOOLSDIR}/showPickled -cp $CP2 $CLASS > "${TMPDIR}/out2.txt"
- diff "${TMPDIR}/out1.txt" "${TMPDIR}/out2.txt"
- rm -rf ${TMPDIR}
-else
- echo "Failed to create temporary directory ${TMPDIR}."
- exit 1
-fi
-