From 8ed1dbbc1ae5e76bc1a1fe5de0aa712712fc3bc4 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 20 Jun 2012 10:06:44 -0600 Subject: [PATCH] Adding better version info to DrDr help --- collects/meta/drdr/render.rkt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/meta/drdr/render.rkt b/collects/meta/drdr/render.rkt index e863e87e05..7afc13ab44 100644 --- a/collects/meta/drdr/render.rkt +++ b/collects/meta/drdr/render.rkt @@ -605,7 +605,11 @@ and "tests" every push to the Racket code base.} @h1{What kind of server?} - @p{A 64-bit Linux 2.6.32-24-server running Ubuntu 10.04.3 LTS with @,(number->string (number-of-cpus)) cores.} + @p{Here is the result of calling @code{uname -a}:} + @pre{@,(with-output-to-string (λ () (system "uname -a")))} + @p{Here is the result of calling @code{cat /etc/issue}:} + @pre{@,(with-output-to-string (λ () (system "cat /etc/issue")))} + @p{The machine has @,(number->string (number-of-cpus)) cores and runs Racket @,(version).} @h1{How is the build run?} @p{Every push is built from a clean checkout with the standard separate build directory command sequence, except that @code{make}