diff options
author | 2004-10-05 20:37:04 +0000 | |
---|---|---|
committer | 2004-10-05 20:37:04 +0000 | |
commit | 509c404ca3e2f043bfbac68573cbefa052462503 (patch) | |
tree | 36801833c9e2a2252d5a0a96779a56b5dc952740 /generic | |
parent | cb1385e9079922c4289a849bc4c5131c331162ac (diff) |
Bug fix suggested by Jonathan S. Shapiro
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-utils.el | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index c195b264..9ffe32ec 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -872,9 +872,6 @@ The name of the defined function is returned." ;; (defun proof-locate-executable (progname &optional returnnopath extrapath) - ;; XEmacs can search the paths for us. Probably FSF Emacs is too - ;; daft to provide a useful function to do that, and I don't have - ;; the time to waste writing one or trying to find one. "Search for PROGNAME on PATH. Return the full path to PROGNAME, or nil. If RETURNNOPATH is non-nil, return PROGNAME even if we can't find a full path. EXTRAPATH is a list of extra path components" @@ -882,10 +879,10 @@ EXTRAPATH is a list of extra path components" (cond ((fboundp 'executable-find) (let ((exec-path (append exec-path extrapath))) - (executable-find progname))) ;; PG 3.4: try a new Emacs function. + (executable-find progname))) ((fboundp 'locate-file) (locate-file progname - (append (split-path (getenv "PATH") extrapath)) + (append (split-path (getenv "PATH")) extrapath) (if proof-running-on-win32 '(".exe")) 1))) (if returnnopath progname))) |