1 files changed, 3 insertions, 1 deletions
diff --git a/build.scm b/build.scm
index a467a52..664eb28 100644
--- a/build.scm
+++ b/build.scm
@@ -1934,7 +1934,9 @@
 	 (lambda (batch-port)
 	   (define o-files #f)
 	   (adjoin-parameters! parms (list 'batch-port batch-port))
-
+	   (batch:comment
+		   parms
+		   (string-append "[-p " (symbol->string platform) "]"))
 	   (let ((options-file (parameter-list-ref parms 'options-file)))
 	     (and (not (null? options-file))
 		  (batch:comment