diff options
author | Glenn Morris <rgm@gnu.org> | 2011-09-26 01:23:13 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2011-09-26 01:23:13 -0700 |
commit | 6e99ef20d85dd4001f167c57eb32518665cd7d05 (patch) | |
tree | df7e691d06fe2bbbb4b6075d72833cb4b68d3d11 /make-dist | |
parent | ab22a8a19695ddbb5c5d08cfe4f60e7202072d82 (diff) | |
download | emacs-6e99ef20d85dd4001f167c57eb32518665cd7d05.tar.gz |
* make-dist: Add lib/makefile.w32-in.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-dist b/make-dist index c15fecfd111..2dbb35cdc5b 100755 --- a/make-dist +++ b/make-dist @@ -383,7 +383,7 @@ echo "Making links to \`lib'" (snippet_h=`(cd build-aux/snippet && ls *.h)` cd lib ln [a-zA-Z]*.[ch] ../${tempdir}/lib - ln gnulib.mk Makefile.am Makefile.in ../${tempdir}/lib + ln gnulib.mk Makefile.am Makefile.in makefile.w32-in ../${tempdir}/lib cd ../${tempdir}/lib script='/[*]/d; s/\.in\.h$/.h/' rm -f `(echo "$snippet_h"; ls *.in.h) | sed "$script"`) |