[devel] Вопрос про time

[Levin Stanislav]

Всем привет!

В одном из собираемых проектов для тестирования используется `time`
(зарезервированное слово bash), используется так:

function main() {
    time (
        test_cert_import_root || exit $?
        test_cert_import_server || exit $?
        test_cert_missing_intermediate || exit $?

        test_chain_unsafe_trust_then_verify || exit $?
        test_chain_fail_no_root || exit $?
        test_chain_import || exit $?

        test_leaf_import || exit $?
        test_leaf_fail_no_root || exit $?
    )
}

При запуске ошибка:

line 472: syntax error near unexpected token `newline'
line 472: `    time ('


Вызывается при этом:

$ type time
time является /usr/bin/time


Как можно заставить bash применить ключевое слово? Да и есть ли оно "у
нас"? Речь о:

$ bash --version
GNU bash, version 4.4.23(1)-release (x86_64-alt-linux-gnu)


Спасибо!

----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : signature.asc
Тип     : application/pgp-signature
Размер  : 833 байтов
Описание: OpenPGP digital signature
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20190522/11ed00fa/attachment.bin>