Deprecate when declared(echo):echo (#13840)

This commit is contained in:
Juan Carlos 2020-04-01 21:56:18 -03:00 • committed by GitHub
commit afd0afe0a3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 79 additions and 81 deletions

View file

@ -892,7 +892,7 @@ elif not defined(useNimRtl):
# Parent process. Copy process information.
if poEchoCmd in options:
when declared(echo): echo(command, " ", join(args, " "))
echo(command, " ", join(args, " "))
result.id = pid
result.exitFlag = false