New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/28785#discussion_r850775254 Comment: ```suggestion make DESTDIR=${DESTDIR} -C build/gcc jit.install-common jit.install-info ```