On Jul 8, 2013, at 21:15 , Matthew Flatt <mfl...@cs.utah.edu> wrote: > Repairs pushed --- thanks for the report!
And thanks for the fix! I have a symlink: ls -n ~/test/plt/git/plt/racket /usr/local/racket which I run after this get-racket script (below), and now everything is running perfectly. Geoffrey ----- #!/bin/bash function usage { echo "usage: $0 COMMAND..." echo "" echo " COMMAND = checkout | update | build" echo "" echo " typical: get-racket update build" echo "" exit 1 } GITDIR=${HOME}/test/plt/git PLTDIR=${GITDIR}/plt if [ $# -lt 1 ]; then usage fi function plt_checkout { cd ${GITDIR} rm -rf plt git clone git://git.racket-lang.org/plt } function plt_update { cd ${PLTDIR} git pull } function plt_build { cd ${PLTDIR} make } until [ -z "$1" ] do case $1 in checkout) plt_checkout ;; update) plt_update ;; build) plt_build ;; *) echo "ignored: $1" ;; esac shift done exit 0 _________________________ Racket Developers list: http://lists.racket-lang.org/dev