diff --git a/bin/omni b/bin/omni index a5a7ca6..68076a0 100755 --- a/bin/omni +++ b/bin/omni @@ -432,6 +432,10 @@ cleanup() echo "Cleaning illumos-omnios..." /opt/onbld/bin/bldenv $illumos_env \ "cd $illumos_clone/usr/src && dmake clobber" > /dev/null + echo "Removing illumos proto area..." + [ -d $illumos_clone/proto ] && rm -rf $illumos_clone/proto + echo "Removing illumos packages area..." + [ -d $illumos_clone/packages ] && rm -rf $illumos_clone/packages } merge_gate()