bug-gnulib
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gnulib] Re: gnulib-tool tweaks

From: Bruno Haible
Subject: Re: [bug-gnulib] Re: gnulib-tool tweaks
Date: Mon, 17 Oct 2005 17:40:55 +0200
User-agent: KMail/1.5 
Stepan Kasal wrote:
> and what about the following?
>
> -       built_sources=`grep '^BUILT_SOURCES *=' Makefile.in | sed -e 
> 's/^BUILT_SOURCES *=//'`
> -       if test -n "$built_sources"; then

Thanks, applied.

Bruno
reply via email to
[Prev in Thread] Current Thread [Next in Thread]