Megatest

Diff
Login

Differences From Artifact [fd46dc3bc6]:

To Artifact [395602fe42]:


364
365
366
367
368
369
370
371

372
373
374
375
376
377
378

379
380
381
382
383
384
385
364
365
366
367
368
369
370

371
372
373
374
375
376
377

378
379
380
381
382
383
384
385







-
+






-
+








(if (args:get-arg "-env2file")
    (begin
      (save-environment-as-files (args:get-arg "-env2file"))
      (set! *didsomething* #t)))

(if (args:get-arg "-list-disks")
    (begin
    (let ((toppath (launch:setup-for-run)))
      (print 
       (string-intersperse 
	(map (lambda (x)
	       (string-intersperse 
		x
		" => "))
	     (common:get-disks) )
	     (common:get-disks *configdat*))
	"\n"))
      (set! *didsomething* #t)))

(if (args:get-arg "-refdb2dat")
    (let* ((input-db (args:get-arg "-refdb2dat"))
	   (out-file (args:get-arg "-o"))
	   (out-fmt  (or (args:get-arg "-dumpmode") "scheme"))