5 files changed, 5 insertions, 5 deletions
diff --git a/extras/mini-os/events.c b/extras/mini-os/events.c
index 2f359a54e7..896c36565c 100644
--- a/extras/mini-os/events.c
+++ b/extras/mini-os/events.c
@@ -261,7 +261,7 @@ int evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port,
 /*
  * Local variables:
  * mode: C
- * c-set-style: "BSD"
+ * c-file-style: "BSD"
  * c-basic-offset: 4
  * tab-width: 4
  * indent-tabs-mode: nil
diff --git a/extras/mini-os/include/wait.h b/extras/mini-os/include/wait.h
index bffa3c444c..ecbe396df5 100644
--- a/extras/mini-os/include/wait.h
+++ b/extras/mini-os/include/wait.h
@@ -97,7 +97,7 @@ static inline void wake_up(struct wait_queue_head *head)
 /*
  * Local variables:
  * mode: C
- * c-set-style: "BSD"
+ * c-file-style: "BSD"
  * c-basic-offset: 4
  * tab-width: 4
  * indent-tabs-mode: nil
diff --git a/extras/mini-os/include/waittypes.h b/extras/mini-os/include/waittypes.h
index 78d91c1542..42a4786c45 100644
--- a/extras/mini-os/include/waittypes.h
+++ b/extras/mini-os/include/waittypes.h
@@ -24,7 +24,7 @@ MINIOS_STAILQ_HEAD(wait_queue_head, struct wait_queue);
 /*
  * Local variables:
  * mode: C
- * c-set-style: "BSD"
+ * c-file-style: "BSD"
  * c-basic-offset: 4
  * tab-width: 4
  * indent-tabs-mode: nil
diff --git a/extras/mini-os/lib/xmalloc.c b/extras/mini-os/lib/xmalloc.c
index 23e367d3d6..e16f161a66 100644
--- a/extras/mini-os/lib/xmalloc.c
+++ b/extras/mini-os/lib/xmalloc.c
@@ -311,7 +311,7 @@ void free(void *ptr)
 /*
  * Local variables:
  * mode: C
- * c-set-style: "BSD"
+ * c-file-style: "BSD"
  * c-basic-offset: 4
  * tab-width: 4
  * indent-tabs-mode: nil
diff --git a/extras/mini-os/sched.c b/extras/mini-os/sched.c
index 2d27bfaa97..5ac5c1ccd8 100644
--- a/extras/mini-os/sched.c
+++ b/extras/mini-os/sched.c
@@ -293,7 +293,7 @@ void init_sched(void)
 /*
  * Local variables:
  * mode: C
- * c-set-style: "BSD"
+ * c-file-style: "BSD"
  * c-basic-offset: 4
  * tab-width: 4
  * indent-tabs-mode: nil