[v3] header tweaks

Benjamin Kosnik bkoz@redhat.com
Tue Mar 26 20:28:00 GMT 2002


> > *************** stamp-c_base: ${c_base_headers} ${c_base
> > *** 332,338 ****
> >   	  official_name=`echo $$h | sed -e 's,.*/std_,,' -e 's,\.h$$,,'` ;\
> >   	  @LN_S@ $$h ./$${official_name} || true ;\
> >   	done) ;\
> > ! 	(cd ${bits_builddir} && @LN_S@ ${c_base_headers_extra}  . || true) ;\
> >   	echo `date` > stamp-c_base
> >   
> >   stamp-backward: ${backward_headers}
> > --- 332,340 ----
> >   	  official_name=`echo $$h | sed -e 's,.*/std_,,' -e 's,\.h$$,,'` ;\
> >   	  @LN_S@ $$h ./$${official_name} || true ;\
> >   	done) ;\
> > ! 	if [ ! -z "${c_base_headers_extra}" ]; then \
> > ! 	  (cd ${bits_builddir} && @LN_S@ ${c_base_headers_extra}  . || true) ;\
> > ! 	fi ;\
> >   	echo `date` > stamp-c_base
> >   
> >   stamp-backward: ${backward_headers}
> 
> That looks good.

Cool.



More information about the Gcc-patches mailing list