[patch #9305] Use $SED more

[Václav Haisman]

URL:
  <http://savannah.gnu.org/patch/?9305>

                 Summary: Use $SED more
                 Project: GNU Libtool
            Submitted by: wilx
            Submitted on: Fri 31 Mar 2017 10:56:55 AM CEST
                Category: None
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

I have noticed some use of naked `sed`. The attached patch changes them to use
`$SED` instead.



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Fri 31 Mar 2017 10:56:55 AM CEST  Name: libtool.m4-sed.patch  Size: 4kB 
 By: wilx

<http://savannah.gnu.org/patch/download.php?file_id=40216>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?9305>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/