diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-10-28 11:43:28 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-10-28 11:48:04 +0100 |
commit | 08c6a9b6b071a4d09b3a5718e3413e6810f0946e (patch) | |
tree | f000c6f07d9407c7214c8dac77c4078943fc62a4 /tools/diffPickled | |
parent | 7a8d51d45761e33d494a0a247194f8b185680aee (diff) | |
download | scala-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-x | tools/diffPickled | 51 |
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 - |