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 604e94082a8..2afce070e30 100644 --- a/msdos/sed1v2.inp +++ b/msdos/sed1v2.inp @@ -150,6 +150,8 @@ s/ || true\; \\$// s/ @true *$/ @rem/ s/^ [^ ]*move-if-change / update / /^ echo[ ][ ]*timestamp/s/echo /djecho / +/^ .*djecho timestamp/a\ + @rm -f gl-tmp /^ cd \$(lib) && \$(MAKE)/c\ $(MAKE) $(MFLAGS) -C $(lib) libgnu.a /^RUN_TEMACS *=/s|`/bin/pwd`|.| |