summaryrefslogtreecommitdiff
path: root/tools/mkmi4.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/mkmi4.sh')
-rwxr-xr-xtools/mkmi4.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/mkmi4.sh b/tools/mkmi4.sh
index ee9c8f1228..00fee9bdfa 100755
--- a/tools/mkmi4.sh
+++ b/tools/mkmi4.sh
@@ -63,6 +63,9 @@ case $target in
63 h10) 63 h10)
64 tea=20gc_eng 64 tea=20gc_eng
65 ;; 65 ;;
66 h10_5gb)
67 tea=default
68 ;;
66 *) 69 *)
67 echo "unsupported target" 70 echo "unsupported target"
68 help 71 help