[microTVM] Fix MacOS build with USE_MICRO=ON#13711

Merged

masahi merged 1 commit intoapache:mainfrom

alanmacd:fix-mac-os-use-micro

Jan 6, 2023

Commits on Jan 6, 2023

fix MacOS build with USE_MICRO=ON
alanmacd
committed