make -C linux syslinux
popd
+echo "Building pps tools"
+pushd src/pps-tools
+make -j 3
+popd
+echo "..... done"
+
+echo "Building linux kernel - this is gunna take a while..."
+pushd src/linux-3.10.9
+make -j 5
+popd
+echo "..... done"
+
+echo "Now Buildroot.... also going to take a while"
+pushd src/buildroot-2013.05
+make -j 5
+popd
+echo "..... done"