diff options
Diffstat (limited to 'tools/mkmi4.sh')
-rwxr-xr-x | tools/mkmi4.sh | 3 |
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 |