#!/bin/sh
echo "******************"
echo "Making executables..."
cd driver
make  > /dev/null 2>&1
mknod -m a=rw /dev/policy c 29 0 > /dev/null 2>&1
cd ..
cd pdp
make  > /dev/null 2>&1
cd ..
cp credentials/queries .
echo "Done!  Now, just run bin/start_demo"
echo "******************"
