diff --git a/dist-build/emscripten.sh b/dist-build/emscripten.sh index 3ca0b7ea..d4754fc6 100755 --- a/dist-build/emscripten.sh +++ b/dist-build/emscripten.sh @@ -117,7 +117,7 @@ else mv -f "${file}.tmp" "$file" done ) - time make $MAKE_FLAGS check || exit 1 + make $MAKE_FLAGS check || exit 1 touch "$DONE_FILE" fi