X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=80ecfc35aaf820d1719ac66b0ebc2f7924b66af2;hb=ac3005057c9baf5fab366e31e2c18b26685a73e2;hp=60a188e6fd1f9bfecae44f627bd7de9c33756349;hpb=e3830e909d210145cbe52a1da66058ebf2581fd6;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;