     (sw:eval-in-lisp (format "(top-level::do-command :cd %S)" root-dir))
     (sw:eval-in-lisp (format "(setf (sys:getenv \"SWPATH:/\") %S)" root-dir))
     (sw:eval-in-lisp (format "(setf (sys:getenv \"SPECWARE4\") %S)" root-dir))
-    (sw:eval-in-lisp "(sys::set-stack-cushion 10000000)")
+    (sw:eval-in-lisp "#+allegro(sys::set-stack-cushion 10000000)
+                      #-allegro()")
     (sw:eval-in-lisp "(time (user::boot))")
     (build-specware4 root-dir)))
 

    ;; The suffix on such files is .dxl.
    ;;
    (setq sw:common-lisp-image-file world-name)
    (setq sw:common-lisp-image-arguments nil ;'("+c")
	  )

    (sw:common-lisp sw:common-lisp-buffer-name

		    sw:common-lisp-host
		    sw:common-lisp-image-file
		    )
    ))