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

[Levin Stanislav <slev@altlinux.org>]

[-- Attachment #1.1: Type: text/plain, Size: 1132 bytes --]

Всем привет!

В одном из собираемых проектов для тестирования используется `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)


Спасибо!


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]