X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Ffatal-signal.c;h=80ecfc35aaf820d1719ac66b0ebc2f7924b66af2;hb=b09d5ec96a32c906bb35770937120401f64e90b7;hp=60a188e6fd1f9bfecae44f627bd7de9c33756349;hpb=a4af00400a835eb87569ba40e21874c05e872c0f;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index 60a188e6..80ecfc35 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -234,13 +234,13 @@ fatal_signal_unlink_file_now(const char *file)
 }
 
 static void
-unlink_files(void *aux UNUSED)
+unlink_files(void *aux OVS_UNUSED)
 {
     do_unlink_files(); 
 }
 
 static void
-cancel_files(void *aux UNUSED)
+cancel_files(void *aux OVS_UNUSED)
 {
     shash_clear(&files);
     added_hook = false;