-
Ken Martin authored
remove some old code expose a couple options andmake the compile tools build into a different directory as it does not need to be wiped as often. Also remove the install step for the compile tools as it is not needed.
dececfb4
A GitLab update will be applied on May 9th, between 8am and 10am, EDT (UTC-04:00). This site may have intermittent delays during that time.
remove some old code expose a couple options andmake the compile tools build into a different directory as it does not need to be wiped as often. Also remove the install step for the compile tools as it is not needed.