From 9f5362d806d2cd318ee64fa32aa9e9ad5bf76c9f Mon Sep 17 00:00:00 2001 From: Kevin Tew Date: Fri, 16 Sep 2011 13:06:29 -0600 Subject: [PATCH] Fix pr 12205 pass --disable-inline and --vv options through to parallel make original commit: 099e89a29760dcf90d126b199d774cd9410f802f --- collects/compiler/commands/make.rkt | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/collects/compiler/commands/make.rkt b/collects/compiler/commands/make.rkt index 127b521795..56f8ebc1e2 100644 --- a/collects/compiler/commands/make.rkt +++ b/collects/compiler/commands/make.rkt @@ -91,4 +91,13 @@ (match type ['done (when (verbose) (printf " Made ~a\n" work))] ['output (printf " Output from: ~a\n~a~a" work out err)] - [else (printf " Error compiling ~a\n~a\n~a~a" work msg out err)])))]) + [else (printf " Error compiling ~a\n~a\n~a~a" work msg out err)])) + #:options + (let ([cons-if-true (lambda (bool carv cdrv) + (if bool + (cons carv cdrv) + cdrv))]) + (cons-if-true + (very-verbose) + 'very-verbose + (cons-if-true (disable-inlining) 'disable-inlining null))))])