alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix RDRAND header references

Browse Source
This commit is contained in:
Emery Hemingway
2019-02-22 15:27:13 +01:00
committed by Norman Feske
parent 176a5c443c
commit 7cff151ecb
3 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
recipes/src/jitter_sponge/content.mk
View File

@@ -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 \

4
recipes/src/test-rdrand/content.mk
View File

@@ -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)

2
src/test/rdrand/main.cc
View File

@@ -11,7 +11,7 @@
* under the terms of the GNU Affero General Public License version 3.
*/
#include <os/rdrand.h>
#include <world/rdrand.h>
#include <base/component.h>
#include <base/log.h>