void-packages/srcpkgs/vboot-utils/patches/tpm_lite_stub.patch

11 lines
297 B
Diff

--- ./firmware/stub/tpm_lite_stub.c.orig 2015-06-16 12:29:51.609619681 +0200
+++ ./firmware/stub/tpm_lite_stub.c 2015-06-16 12:30:01.216620121 +0200
@@ -14,6 +14,7 @@
#include "utility.h"
#include "vboot_api.h"
+#include <assert.h>
#include <errno.h>
#include <fcntl.h>
#include <stdarg.h>