If you are using Git and want to test a change against the whole repository in the same way DrDr does, run:
racket -t $RACKET_HOME/collects/meta/drdr/house-call.ss -- -j $CPUS It should run for about 10 minutes, sending an immense amount of information to the screen, eventually producing a list of files that had "problems". If you put any of these back on the command-line: racket -t $RACKET_HOME/collects/meta/drdr/house-call.ss -- -j $CPUS file It will show the log of when it ran 'file'. The DrDr keeps its house call records in $RACKET_HOME/house-calls indexed by Julian date. It is always safe to delete this whole directory. If a record is in this directory, then DrDr won't check it again until the next day. It runs exactly as it would on the real DrDr server, except no GUI files are run if your system-type is not 'unix and it relies on Xvfb and fluxbox to run a sandbox X11 server. Jay -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
