From 121e1b36550f4c6c72ac1e21a2c9958ff8907108 Mon Sep 17 00:00:00 2001
From: jaxne <jaxne@jaxne.xyz>
Date: Tue, 30 Jun 2020 01:57:49 -0600
Subject: [PATCH] Time builds

---
 build.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 build.sh

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