From de8d35918d5055893c5353d034de2b2a8459e98f Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sun, 16 Jan 2000 03:43:55 +0000
Subject: [PATCH] Generate GNU/Linux microcode source.

---
 v7/dist/make-src-files | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/v7/dist/make-src-files b/v7/dist/make-src-files
index 56cd39f48..b3249d894 100755
--- 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}
-- 
2.25.1