changeset 7407:565b1e27c14c

Don't pass version to [ce]tags.
author Richard M. Stallman <rms@gnu.org>
date Sun, 08 May 1994 20:32:12 +0000
parents 5d428cbd38ec
children 65c133b66371
files msdos/sed3.inp
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/msdos/sed3.inp	Sun May 08 20:30:46 1994 +0000
+++ b/msdos/sed3.inp	Sun May 08 20:32:12 1994 +0000
@@ -4,7 +4,9 @@
 /^# DIST: /d
 /^SHELL *=/s/^/# /
 /^CC *=/s/=.*$/=gcc/
-/-DVERSION=/s/"\\"\${version}\\""/\\"${version}\\"/
+# Actually, here we should patch in the exact version number, but only
+# [ce]tags uses it.  Don't pass it.  This is more update-resistant.
+/-DVERSION=/s/-DVERSION="\\"\${version}\\""//
 /^configname *=/s/=.*$/=msdos/
 /^archlibdir *=/s!=.*$!=/emacs/bin!
 /^bindir *=/s!=.*$!=/emacs/bin!