[ci] Fix wrong redirect which would overwrite Make.config
commit7dbed0639e0a45697504ec782fea8f426c00f1c4
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Tue, 19 Mar 2019 20:50:33 +0000 (19 21:50 +0100)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Tue, 19 Mar 2019 20:54:18 +0000 (19 21:54 +0100)
tree192967071a3f89309c43a754f06639bedab5dcd2
parentdf69eb0bca01499a9734aa924390cfae4a5ec925
[ci] Fix wrong redirect which would overwrite Make.config

(cherry picked from commit a0f593958bb93130d6c302c4a3b20803310b1193)
scripts/ci/run-jenkins.sh