Fixed no timeout with keyboard disconnected; better duplicate loader

[refind] / mkdistrib

diff --git a/mkdistrib b/mkdistrib
index 6d2a101ca0168d4bd0760eaec62f2d4b4ca5718a..261e5a69aeaa39b557aff3f16dca5e99ad11d759 100755 (executable)
--- a/mkdistrib
+++ b/mkdistrib
@@ -88,6 +88,18 @@ cp -a docs keys banners fonts COPYING.txt LICENSE.txt README.txt CREDITS.txt NEW
 
 # Prepare the final .zip file
 zip -9r ../refind-bin-$1.zip refind-bin-$1
+
+# Prepare a variant with the x86-64 version built with GNU-EFI....
+make clean
+make -j4 gnuefi
+if [[ $SignIt == 1 ]] ; then
+   $SBSign --key $KeysDir/refind.key --cert $KeysDir/refind.crt --output refind-bin-$1/refind/refind_x64.efi refind/refind_x64.efi
+else
+   cp refind/refind_x64.efi refind-bin-$1/refind/refind_x64.efi
+fi
+zip -9r ../refind-bin-gnuefi-$1.zip refind-bin-$1
+
+# Clean up....
 cd ..
 rm -r refind-$1