Move scripts to scripts folder and remove unused docker image stuff

2026-08-22 06:54:27 +00:00 · 2021-03-04 08:46:18 -08:00
parent ba699d36df
commit bedd44eb6b
9 changed files with 20 additions and 36 deletions
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+# Go to repository root
+cd "$(dirname "$0")/.." || exit 2
+
+make -C build -j$(nproc) config=debug_x86 clean
+make -C build -j$(nproc) config=release_x86 clean