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
#!/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 |