summaryrefslogtreecommitdiff
path: root/src/microhs
diff options
context:
space:
mode:
Diffstat (limited to 'src/microhs')
m---------src/microhs/microhs0
-rwxr-xr-xsrc/microhs/setup.sh7
2 files changed, 7 insertions, 0 deletions
diff --git a/src/microhs/microhs b/src/microhs/microhs
new file mode 160000
+Subproject 547d3f5613bc1b0a1cdfaf065c3899af27e88eb
diff --git a/src/microhs/setup.sh b/src/microhs/setup.sh
new file mode 100755
index 0000000..374c238
--- /dev/null
+++ b/src/microhs/setup.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+set -e
+
+cd microhs
+make
+make minstall