Index: /trunk/ccl/lisp-kernel/pmcl-kernel.c
===================================================================
--- /trunk/ccl/lisp-kernel/pmcl-kernel.c	(revision 5335)
+++ /trunk/ccl/lisp-kernel/pmcl-kernel.c	(revision 5336)
@@ -1155,4 +1155,6 @@
 	batch_flag = 1;
 	num_elide = 1;
+      } else if (strcmp(arg,"--") == 0) {
+        break;
       } else {
 	i++;