Finish build timer backport

timer/build.bat

@@ -1,5 +0,0 @@
-@echo off
-REM -Zi for debugging
-cl -nologo -DBUILD_WIN32=1 -FC -O2 -TC -EHsc aetime.c /link
-@if ERRORLEVEL 1 exit /B 1
-robocopy . ../ aetime.exe > nul

timer/build.sh

@@ -1,5 +0,0 @@
-#!/bin/sh
-set -eu
-CXX=${CXX:-clang++}
-
-${CXX} $* -Wwritable-strings -DBUILD_LINUX=1 -I. -O3 -o aetime aetime.c

tools/build-timer/build.bat

@@ -0,0 +1,5 @@
+@echo off
+REM -Zi for debugging
+cl -nologo -DBUILD_WIN32=1 -FC -O2 -TC -EHsc btime.c /link
+@if ERRORLEVEL 1 exit /B 1
+robocopy . ../ aetime.exe > nul

tools/build-timer/build.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+set -eu
+CXX=${CXX:-clang++}
+
+${CXX} $* -Wwritable-strings -DBUILD_LINUX=1 -I. -O3 -o btime btime.c
+cp btime ../btime

tools/shell.sh

@@ -0,0 +1,3 @@
+#!/bin/sh
+
+export PATH=$PWD/tools:$PATH