Made some bash scripts for common tools

2023-03-20 13:40:25 -07:00
parent ca696332c9
commit 4ba9f66d98
5 changed files with 44 additions and 36 deletions
--- a/ci/build-tools.sh
+++ b/ci/build-tools.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+mkdir tools
+cd tools
+cmake .. -DDAWN_BUILD_TARGET=target-tools
+make