Megatest

Diff
Login

Differences From Artifact [748de45c71]:

To Artifact [0ddc1ec436]:


645
646
647
648
649
650
651
652

653
654
655
656
657

658
659
660
661
662
663
664
645
646
647
648
649
650
651

652
653
654
655
656

657
658
659
660
661
662
663
664







-
+




-
+







    (case (string->symbol cmd)
      ((runtests)
       (set! full-cmd (conc full-cmd 
			    " -runtests "
			    test-patt
			    " -target "
			    target
			    " :runname "
			    " -runname "
			    run-name
			    )))
      ((remove-runs)
       (set! full-cmd (conc full-cmd
			    " -remove-runs :runname "
			    " -remove-runs -runname "
			    run-name
			    " -target " 
			    target
			    " -testpatt "
			    test-patt
			    states-str
			    statuses-str