diff --git a/collects/compiler/commands/make.rkt b/collects/compiler/commands/make.rkt
index 20b8ea9c5f..57ae63c1c4 100644
--- a/collects/compiler/commands/make.rkt
+++ b/collects/compiler/commands/make.rkt
@@ -30,7 +30,7 @@
    [("--vv") "Very verbose mode"
     (verbose #t)
     (very-verbose #t)]
-   #:args file file))
+   #:args (file . another-file) (cons file another-file)))
 
 (if (disable-deps)
     ;; Just compile one file: