301 |
;;; At this point, we're ready to resume undo recording for scratch. |
;;; At this point, we're ready to resume undo recording for scratch. |
302 |
(buffer-enable-undo "*scratch*") |
(buffer-enable-undo "*scratch*") |
303 |
|
|
304 |
|
(if (null (garbage-collect)) |
305 |
|
(setq pure-space-overflow t)) |
306 |
|
|
307 |
(if (or (member (nth 3 command-line-args) '("dump" "bootstrap")) |
(if (or (member (nth 3 command-line-args) '("dump" "bootstrap")) |
308 |
(member (nth 4 command-line-args) '("dump" "bootstrap"))) |
(member (nth 4 command-line-args) '("dump" "bootstrap"))) |
309 |
(if (eq system-type 'vax-vms) |
(if (eq system-type 'vax-vms) |