In dist/make-native-files, don't rmdir src/lib/lib.

src/lib/lib is a symbolic link to ../microcode, created by
src/Setup.sh.

diff --git a/dist/make-native-files b/dist/make-native-files
index c9c3d904fd26d1bbc725f771574ef8b0b1e82bd7..eb20e41433256db4744923f784b5ef3a2d632ec1 100755 (executable)
--- a/dist/make-native-files
+++ b/dist/make-native-files
@@ -58,7 +58,6 @@ unpack_dist_file_to "${DIST_DIR}" "${DIST_DIR}"
 run_command "${OUT_ROOT}"-compile "${DIST_DIR}"/src build
 run_command "${OUT_ROOT}"-clean "${DIST_DIR}"/src/microcode make distclean
 my_rm_f "${DIST_DIR}"/src/lib/runtime.com
-my_rmdir "${DIST_DIR}"/src/lib/lib
 
 notify "Making tarball"
 fixup_perms "${DIST_DIR}"