X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Futil.h;h=562f7e0e091b59885120d08c900ef66c6e1fc955;hb=8d9f3d567e3863f195959828fa20b5d2ed6cbbea;hp=0101bf7b544d4bae1e3d7dc4535999cdcf8e9503;hpb=a4af00400a835eb87569ba40e21874c05e872c0f;p=openvswitch

diff --git a/lib/util.h b/lib/util.h
index 0101bf7b..562f7e0e 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008, 2009 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2010 Nicira Networks.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -127,7 +127,7 @@ int hexit_value(int c);
 
 char *dir_name(const char *file_name);
 
-void ignore(bool x UNUSED);
+void ignore(bool x OVS_UNUSED);
 
 #ifdef  __cplusplus
 }