fix syntax error

[aaronmarkham]

Trying to run the full website publish job... getting a syntax error. Julia finishes with success but the next line says there's an error.

So this PR doesn't actually fix the problem... it also has all of the "true" stuff that was removed from the recent tvm release... so that could be the issue.

build.py: 2019-09-14 02:16:25,882Z INFO Waiting for status of container 8f91c5b79579 for 600 s.
build.py: 2019-09-14 02:16:26,218Z INFO Container exit status: {'Error': None, 'StatusCode': 0}
build.py: 2019-09-14 02:16:26,219Z INFO Container exited with success 👍
build.py: 2019-09-14 02:16:26,219Z INFO Stopping container: 8f91c5b79579
build.py: 2019-09-14 02:16:26,220Z INFO Removing container: 8f91c5b79579
build.py: 2019-09-14 02:16:26,484Z INFO Other running containers: ['c7d2857d8b66', '5ee6779b5b10']
[Pipeline] }
[Pipeline] // timeout
[Pipeline] }
[Pipeline] // ws
[Pipeline] }
[Pipeline] // node
[Pipeline] }
Failed in branch Julia Docs
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] node
Running on utility_jaa9jjl5zq in /home/jenkins_slave/workspace/docs-pipelines/website-build-master
[Pipeline] {
[Pipeline] sh
/home/jenkins_slave/workspace/docs-pipelines/website-build-master@tmp/durable-52c4feff/script.sh: 1: /home/jenkins_slave/workspace/docs-pipelines/website-build-master@tmp/durable-52c4feff/script.sh: Syntax error: "(" unexpected
[Pipeline] }
[Pipeline] // node
[Pipeline] node
Running on utility_jaa9jjl5zq in /home/jenkins_slave/workspace/docs-pipelines/website-build-master
[Pipeline] {
[Pipeline] cleanWs
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
ERROR: script returned exit code 2
Finished: FAILURE