diff --git a/build.sh b/build.sh new file mode 100755 index 00000000..c9900122 --- /dev/null +++ b/build.sh @@ -0,0 +1,14 @@ +#!/bin/sh + +# Script assumes tools directory is in your path. +# For now, this is done by running shell.sh inside of tools directory + +if [ ! -f tools/btime ]; then + pushd tools/build-timer + ./build.sh + popd +fi + +tools/btime --begin ePenguin-Software-Framework.aet + +tools/btime --end ePenguin-Software-Framework.aet \ No newline at end of file