Generate GNU/Linux microcode source.

diff --git a/v7/dist/make-src-files b/v7/dist/make-src-files
index 56cd39f48076103da5ed0437d055c02ffb503dc5..b3249d894aee4981d32e18d4e5430bf6e4feaa38 100755 (executable)
--- a/v7/dist/make-src-files
+++ b/v7/dist/make-src-files
@@ -29,9 +29,14 @@ find ${destination} -type d -print | xargs chmod g-w
 suffix=`date +%Y%m%d`
 tarfile=src-${suffix}.tar.gz
 zipfile=src-${suffix}.zip
+ucfile=gnulinux-ucode-src-${suffix}.tar.gz
 
-tar czvf ${tarfile} ${destination}
+tar cvzf ${tarfile} ${destination}
 zip -rl ${zipfile} ${destination}
-chmod -w ${tarfile} ${zipfile}
+
+(cd ${destination}/microcode; unxutl/config i386-linux)
+(cd ${destination}; tar cvzf ../${ucfile} microcode)
+
+chmod -w ${tarfile} ${zipfile} ${ucfile}
 
 rm -rf ${destination}