On Mon, 29 Apr 2002, christopher j bottaro wrote:
> if [ ! ./configure --prefix=$1 && make && make install ] ; then
> echo "an error occured"
> exit #i don't know the command to exit a bash script
> fi
if ! { ./configure --prefix=$1 && make && make install; }
then
echo "an error occured"
exit
fi
--
"The only thing that helps me maintain my slender grip on reality is the
friendship I share with my collection of singing potatoes."
- Holly, JMC Vessel *Red Dwarf*
_______________________________________________
Redhat-list mailing list
[EMAIL PROTECTED]
https://listman.redhat.com/mailman/listinfo/redhat-list
