Revert due to stable build problem on Ubuntu.

This commit is contained in:
NissimHadar 2019-02-15 09:52:57 -08:00
parent 8b2d9c36af
commit b77f40d300

View file

@ -20,7 +20,7 @@ endfunction()
if (BUILD_TOOLS)
# Allow different tools for stable builds
if (STABLE_BUILD)
if (RELEASE_TYPE STREQUAL "PRODUCTION")
set(ALL_TOOLS
udt-test
vhacd-util