diff make-dist @ 9910:27b7a34664e3

Don't add -I, -L, -R options for cc if their arguments would be empty.
author David J. MacKenzie <djm@gnu.org>
date Mon, 14 Nov 1994 17:08:32 +0000
parents ee0d90e7720d
children 9b43de28b295
line wrap: on
line diff