diff options
Diffstat (limited to 'msdos/sed1v2.inp')
| -rw-r--r-- | msdos/sed1v2.inp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/msdos/sed1v2.inp b/msdos/sed1v2.inp index ce245b08824..b9e94afea51 100644 --- a/msdos/sed1v2.inp +++ b/msdos/sed1v2.inp @@ -152,6 +152,8 @@ s/^ [^ ]*move-if-change / update / /^ echo[ ][ ]*timestamp/s/echo /djecho / /^ .*djecho timestamp/a\ @rm -f gl-tmp +/^ cd \$(leimdir) && \$(MAKE)/c\ + $(MAKE) $(MFLAGS) -C $(leimdir) leim-list.el EMACS=$(bootstrap_exe) /^ cd \$(lib) && \$(MAKE)/c\ $(MAKE) $(MFLAGS) -C $(lib) libgnu.a /^RUN_TEMACS *=/s|`/bin/pwd`|.| |