From 5ee76017ca66e612f1d4eed511a2bfc4be041a59 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 15 Sep 2008 12:59:45 +0000
Subject: [PATCH] dcookie.c:7:22: error: asm/page.h: No such file or directory

---
 factory/dcookie.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/factory/dcookie.c b/factory/dcookie.c
index 3f991cb..ca22353 100644
--- a/factory/dcookie.c
+++ b/factory/dcookie.c
@@ -4,7 +4,7 @@
 #define __NR_LOOKUP_DCOOKIE 253
 
 #include <sys/syscall.h>
-#include <asm/page.h>
+/*#include <asm/page.h>*/
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
-- 
2.43.0