# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 959119407 0
# Node ID 36006315504cc1d87b7e41a50d3831dfda408bf6
# Parent  63520d6017fb257eccac52aa4d65eadcb58068cf
(command-line): Determine source file of compiled
user init file differently.  Warn if compiled user init file
is older than its source file.

diff -r 63520d6017fb -r 36006315504c lisp/startup.el
--- a/lisp/startup.el	Tue May 23 22:00:25 2000 +0000
+++ b/lisp/startup.el	Tue May 23 22:03:27 2000 +0000
@@ -697,14 +697,16 @@
 		    ;; If we loaded a compiled file, set
 		    ;; `user-init-file' to the source version if that
 		    ;; exists.
-		    (if (and user-init-file
-			     (equal (file-name-extension user-init-file)
-				    "elc"))
-			(let ((el (concat (file-name-sans-extension
-					   user-init-file)
-					  ".el")))
-			  (if (file-exists-p el)
-			      (setq user-init-file el))))
+		    (when (and user-init-file
+			       (equal (file-name-extension user-init-file)
+				      "elc")
+			       (file-exists-p user-init-file-1))
+		      (when (file-newer-than-file-p
+			     user-init-file-1 user-init-file)
+			(message "Warning: %s is newer than %s"
+				 user-init-file-1 user-init-file)
+			(sit-for 1))
+		      (setq user-init-file user-init-file-1))
 		    (or inhibit-default-init
 			(let ((inhibit-startup-message nil))
 			  ;; Users are supposed to be told their rights.