diff --git a/emscripten/buildToolkit b/emscripten/buildToolkit index 3c172dcf46e..d74c6670c04 100755 --- a/emscripten/buildToolkit +++ b/emscripten/buildToolkit @@ -103,6 +103,10 @@ if ($webworkerQ) { $WEBWORKER_NAME = "-webworker"; } +if (!$nohumdrum) { + $ASM_NAME .= "-hum"; +} + if ($helpQ) { print_help(); exit 2;