From 7cff151ecb65681bff67efa08bca550f8d15f2de Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Fri, 22 Feb 2019 15:27:13 +0100 Subject: [PATCH] Fix RDRAND header references --- recipes/src/jitter_sponge/content.mk | 1 + recipes/src/test-rdrand/content.mk | 4 ++-- src/test/rdrand/main.cc | 2 +- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/recipes/src/jitter_sponge/content.mk b/recipes/src/jitter_sponge/content.mk index 7bfc388..ff70572 100644 --- a/recipes/src/jitter_sponge/content.mk +++ b/recipes/src/jitter_sponge/content.mk @@ -2,6 +2,7 @@ SRC_DIR = src/server/jitter_sponge include $(GENODE_DIR)/repos/base/recipes/src/content.inc MIRROR_FROM_REP_DIR = \ + include/spec/x86_64/world/rdrand.h \ lib/import/import-libkeccak.mk \ lib/mk/libkeccak.inc \ lib/mk/spec/32bit/libkeccak.mk \ diff --git a/recipes/src/test-rdrand/content.mk b/recipes/src/test-rdrand/content.mk index d5ce335..e5347c5 100644 --- a/recipes/src/test-rdrand/content.mk +++ b/recipes/src/test-rdrand/content.mk @@ -1,7 +1,7 @@ SRC_DIR = src/test/rdrand include $(GENODE_DIR)/repos/base/recipes/src/content.inc -content: include/spec/x86_64/os/rdrand.h +content: include/spec/x86_64/world/rdrand.h -include/spec/x86_64/os/rdrand.h: +include/spec/x86_64/world/rdrand.h: $(mirror_from_rep_dir) diff --git a/src/test/rdrand/main.cc b/src/test/rdrand/main.cc index a44cff9..a2899c2 100644 --- a/src/test/rdrand/main.cc +++ b/src/test/rdrand/main.cc @@ -11,7 +11,7 @@ * under the terms of the GNU Affero General Public License version 3. */ -#include +#include #include #include