You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

14 lines
320 B
Bash

5 years ago
#!/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