Sender: rich AT phekda DOT freeserve DOT co DOT uk Message-ID: <3E401A70.5106364B@phekda.freeserve.co.uk> Date: Tue, 04 Feb 2003 19:54:24 +0000 From: Richard Dawe X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.2.23 i586) X-Accept-Language: de,fr MIME-Version: 1.0 To: djgpp-workers AT delorie DOT com Subject: Re: djgpp/manifest fixed; mkdist11.bat/nobins patch References: <10302041930 DOT AA22120 AT clio DOT rice DOT edu> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Reply-To: djgpp-workers AT delorie DOT com Hello. Charles Sandmann wrote: [snip] > Want to add this line to mkdist1.bat (to automatically build nobins if > it doesn't exist): > > *** mkdist1.bak Mon Nov 25 13:58:42 2002 > --- mkdist1.bat Tue Feb 4 13:19:30 2003 > *************** echo manifest/%1.dsm>>manifest\%1.mft > *** 26,31 **** > --- 26,32 ---- > if not exist distrib\p\%1\nobins goto dobins > echo nobins... > cp manifest/%1.mft manifest/%1.tmp > + if not exist distrib\nobins.exe gcc -s -O2 distrib/nobins.c -o distrib/nobins.exe > distrib\nobins @distrib/p/%1/nobins < manifest\%1.tmp > manifest\%1.tm2 > mv manifest/%1.tm2 manifest/%1.mft > :dobins What happens if gcc fails to build nobins.exe? I think it should exit cleanly. Bye, Rich =] -- Richard Dawe [ http://www.phekda.freeserve.co.uk/richdawe/ ]