#!/bin/sh

./10perl0.sh		|| exit 1
./10linux-headers.sh	|| exit 1
./10man-pages.sh	|| exit 1
./10glibc1.sh		|| exit 1
./10glibc2.sh		|| exit 1
./10adjusting.sh	|| exit 1
./10m4.sh		|| exit 1
./10gmp1.sh		|| exit 1
./10gmp2.sh		|| exit 1
./10mpfr1.sh		|| exit 1
./10mpfr2.sh		|| exit 1
./10mpc1.sh		|| exit 1
./10mpc2.sh		|| exit 1
./10isl1.sh		|| exit 1
./10isl2.sh		|| exit 1
./10cloog1.sh		|| exit 1
./10cloog2.sh		|| exit 1
./10zlib1.sh		|| exit 1
./10zlib2.sh		|| exit 1
./10flex1.sh		|| exit 1
./10flex2.sh		|| exit 1
./10bison1.sh		|| exit 1
./10bison2.sh		|| exit 1
./10binutils.sh		|| exit 1
./10gcc.sh		|| exit 1
./10multiarch_wrapper.sh|| exit 1
./10attr1.sh		|| exit 1
./10attr2.sh		|| exit 1
./10sed.sh		|| exit 1
./10pkg-config-lite.sh	|| exit 1

echo Should execute source ~/.bash_profile!
