|
From: | Václav Haisman |
Subject: | [patch #9305] Use $SED more |
Date: | Fri, 31 Mar 2017 04:56:57 -0400 (EDT) |
User-agent: | Mozilla/5.0 (Windows NT 6.1; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/57.0.2987.110 Safari/537.36 |
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/
[Prev in Thread] | Current Thread | [Next in Thread] |