Decouple package name from build type in common/sync_package.py.
It creates a new (optional) parameter --package-name, that allows different build types (at the moment two: tlcpack and tlcpack-nightly) to be generated with any specified name.
For compatibility reasons it defaults the package name to the specified build type
Decouple package name from build type in
common/sync_package.py
.--package-name
, that allows different build types (at the moment two:tlcpack
andtlcpack-nightly
) to be generated with any specified name.cc @tqchen and @hogepodge for reviews