Add a script for regenerating devices

dylanmckay · dylanmckay · commit 1a778709302b · 2021-02-13T21:53:20.000+13:00
diff --git a/regenerate-devices.sh b/regenerate-devices.sh
@@ -0,0 +1,9 @@
+#! /bin/sh -ea
+
+CRATE_DIR=$(dirname $0)
+
+cd "${CRATE_DIR}/device-generator"
+
+echo "Generating cores"
+
+cargo run -- -o "${CRATE_DIR}/src/gen"
