3 echo "Building syslinux bits i need"
4 echo "..... libinstaller"
5 pushd src/syslinux-5.10
8 echo "..... 32bit static syslinux"
9 pushd src/syslinux-5.10
10 make -C linux syslinux
13 echo "Building pps tools"
19 echo "Building linux kernel - this is gunna take a while..."
20 pushd src/linux-3.10.9
25 echo "Now Buildroot.... also going to take a while"
26 pushd src/buildroot-2013.05