anchor.diff:  			     cbase cbase)
   		     ))
   		 (when *make-verbose* (format t ";; invoking make~%"))
  -		 (run-cmd (format nil "~A -f ~A" make-command make-file))
  +		 (run-cmd make-command (format nil " -f ~A"  make-file))
   		 )
   	     ;; else: no make-args
   	     (progn
  
positive.code: (defvar *last-make-args* nil)
  (defvar *make-verbose* t)
  
  (defun make (&optional args)
   (let* (
  	(make-args (if (not (null args)) args *last-make-args*))
  	(make-command (if (specware::getenv "SPECWARE4_MAKE") (specware::getenv "SPECWARE4_MAKE") "make"))
  	(user-make-file-suffix ".mk")
  	(sw-make-file "$(SPECWARE4)/Languages/MetaSlang/CodeGen/C/Clib/Makerules")
  
negative.code:   )
  
  #-allegro
  (defun run-cmd (cmd &rest args)
    #+cmu  (ext:run-program cmd args :output t)
    #+mcl  (ccl:run-program cmd args :output t)
    #+sbcl (sb-ext:run-program cmd args :output t)
    #-(or cmu mcl sbcl) (format t "Not yet implemented")
    (values))
  
  #+allegro
  (defun run-cmd (cmd &rest args)
    #+UNIX      (shell (format nil "~A~{ ~A}" cmd args))
    #+MSWINDOWS (shell (format nil "~A~{ ~A}" cmd args))
    #-(OR UNIX MSWINDOWS) (format t "~&Neither the UNIX nor MSWINDOWS feature is present, so I don't know what to do!~%")
    )
    
  