diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 10:56:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 10:56:09 +0000 |
| commit | 0df29cabce37b1bfd05e1feaa2eab817149aa326 (patch) | |
| tree | c1a035f164d0069fdd012eed88ef36edf0dfe098 | |
| parent | 51788ac359645045c999432b3e4584ee37ca992a (diff) | |
Correct comment; try setting process-adaptive-read-buffering to nil.
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 8201d89e..d792b9d2 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -310,10 +310,11 @@ process command." (message "Starting: %s" prog-command-line) (let - ;; Trac #324: default for this on MacOS (Aquamacs 2.0 (23.2), GNU) is t, - ;; whereas on Linux it is nil, and default of t gives poor performance. - ;; On Mac, t gives better profile results on homogenous - ;; test input AHundredTheorems but perhaps worse interactively? + ;; Trac #324: default for this on Emacs 23 versions is t. + ;; nil gives marginally better results with "make profile.isar" + ;; on homogenous test input AHundredTheorems but perhaps + ;; worse interactively on varying input. Should also test + ;; behaviour with tracing output. ((process-adaptive-read-buffering nil)) (apply 'scomint-make (append (list proc (car prog-name-list) nil) |