[Bug translator/19700] Support dash as /bin/sh in generated Makefile

[orivej at gmx dot fr]

https://sourceware.org/bugzilla/show_bug.cgi?id=19700

Orivej Desh <orivej at gmx dot fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Attachment #9024|0                           |1
        is obsolete|                            |

--- Comment #4 from Orivej Desh <orivej at gmx dot fr> ---
Created attachment 9025
  --> https://sourceware.org/bugzilla/attachment.cgi?id=9025&action=edit
shell.patch

I thought that maybe "echo -n >" is there for reruns that need to truncate the
generated file.  Any of the two following patches preserve this property.

-- 
You are receiving this mail because:
You are the assignee for the bug.