From b212fc948516a21578f73b353a42cdca08254135 Mon Sep 17 00:00:00 2001 From: Kevin Tew Date: Tue, 30 Nov 2010 09:33:55 -0700 Subject: [PATCH] Parallel build match fix --- collects/setup/parallel-build.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/setup/parallel-build.rkt b/collects/setup/parallel-build.rkt index a4f4e93f93..0bf98f9ed6 100644 --- a/collects/setup/parallel-build.rkt +++ b/collects/setup/parallel-build.rkt @@ -28,7 +28,7 @@ (when last ((collects-queue-printer jobqueue) (current-output-port) "made" "~a" cc-name )))] [else (match work - [(list (list cc file last) message) + [(list-rest (list cc file last) message) ((collects-queue-append-error jobqueue) cc "making" null "" "" "error") (eprintf "work-done match cc failed.\n") (eprintf "trying to match:\n~a\n" (list work msg))])]))