ci: fix for rename luajit to lua bindings
authorMarcel Hollerbach <mail@marcel-hollerbach.de>
Tue, 2 Jun 2020 06:11:23 +0000 (08:11 +0200)
committerJongmin Lee <jm105.lee@samsung.com>
Tue, 2 Jun 2020 22:10:20 +0000 (07:10 +0900)
commitfdd8333d9807f11e908667d51f99c743b64ca4e8
tree7472ad21441596fef6e7788a5bfb115d78c53cfb
parent37d13b1786a634716e338def55479fcacde94a9f
ci: fix for rename luajit to lua bindings

this is an incredible hard fix. The rename was essential, and it was
important that the CI was killed for 3 days, the names in this script
was also hidden that deep that litterly *noone* could have ever renamed
them without a daylong hike through the masses of script here.
.ci/ci-configure.sh