# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 809110005 0
# Node ID e171a85fd6b0dea7b89cfd6b96c9513cc49be5f5
# Parent  ed1abc9d781b2a2c24ffd839f7d2659a8b3f641a
(jka-compr-byte-compiler-base-file-name): New function.
Use it to handle byte-compiler-base-file-name operation.

diff -r ed1abc9d781b -r e171a85fd6b0 lisp/jka-compr.el
--- a/lisp/jka-compr.el	Tue Aug 22 00:32:03 1995 +0000
+++ b/lisp/jka-compr.el	Tue Aug 22 16:46:45 1995 +0000
@@ -633,11 +633,20 @@
       (jka-compr-delete-temp-file local-copy))
 
     t))
+
+(defun jka-compr-byte-compiler-base-file-name (file)
+  (let ((info (jka-compr-get-compression-info file)))
+    (if (and info (jka-compr-info-strip-extension info))
+	(save-match-data
+	  (substring file 0 (string-match (jka-compr-info-regexp info) file)))
+      file)))
 
 (put 'write-region 'jka-compr 'jka-compr-write-region)
 (put 'insert-file-contents 'jka-compr 'jka-compr-insert-file-contents)
 (put 'file-local-copy 'jka-compr 'jka-compr-file-local-copy)
 (put 'load 'jka-compr 'jka-compr-load)
+(put 'byte-compiler-base-file-name 'jka-compr
+     'jka-compr-byte-compiler-base-file-name)
 
 (defun jka-compr-handler (operation &rest args)
   (save-match-data