diff options
Diffstat (limited to 'benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch')
| -rw-r--r-- | benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch b/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch index 10b5cc2..e986cdf 100644 --- a/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch +++ b/benchmarks/boehm-gc/patches/05-viengoos-scheduler.patch @@ -237,7 +237,7 @@ diff -uprN -x '*.applied' -x config.guess -x '*~' -x autom4te.cache -x config.su */ +#ifdef __gnu_hurd_viengoos__ -+#include <hurd/activity.h> ++#include <viengoos/activity.h> +#include <hurd/as.h> +#endif +#include <stdint.h> @@ -678,8 +678,8 @@ diff -uprN -x '*.applied' -x config.guess -x '*~' -x autom4te.cache -x config.su } +#ifdef __gnu_hurd_viengoos__ -+#include <hurd/cap.h> -+#include <hurd/addr.h> ++#include <hurd/viengoosh> ++#include <hurd/viengoos.h> +#include <hurd/as.h> + +extern addr_t gc_activity __attribute__ ((weak)); |