add_idl(wslserviceidl "wslservice.idl;wslc.idl;WSLCCompat.idl" "windowsdefs.idl;WSLCShared.idl")

set_target_properties(wslserviceidl PROPERTIES FOLDER windows)
