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))))])