diff options
-rw-r--r-- | msdos/sed3.inp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/msdos/sed3.inp b/msdos/sed3.inp index 966e9509829..36ac66a05c7 100644 --- a/msdos/sed3.inp +++ b/msdos/sed3.inp @@ -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! |