#!/usr/local/bin/bash
echo
echo "*****************"
echo "Updating source files..."
cp ../driver/* filesystem/driver/ > /dev/null 2>&1
cp ../driver/* dfw/driver/ > /dev/null 2>&1
cp ../driver/* webserver/driver/ > /dev/null 2>&1
cp ../pdp/* filesystem/pdp/ > /dev/null 2>&1
cp ../pdp/* dfw/pdp/ > /dev/null 2>&1
cp ../pdp/* webserver/pdp/ > /dev/null 2>&1
echo "Updating binaries..."
cd ../pepl/ > /dev/null 2>&1
make > /dev/null 2>&1
cp ./pepl ../demos/filesystem/bin/ > /dev/null 2>&1
cp ./pepl ../demos/dfw/bin/ > /dev/null 2>&1
cp ./pepl ../demos/webserver/bin/ > /dev/null 2>&1
cp ./pepl_generator/prepepl ../demos/filesystem/bin/ > /dev/null 2>&1
make clean > /dev/null 2>&1
cd ../demos/ > /dev/null 2>&1
echo "Complete."
echo "*****************"
echo