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
14 lines
320 B
Bash
4 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
|