]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/valgrind/src/valgrind-3.6.0-svn/helgrind/tests/tc18_semabuse.c
update
[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / helgrind / tests / tc18_semabuse.c
index 40c068bdea24e7dd5a1b7eefbe0d72b69fb9a270..7395251ed820b1a6d110c242c21d8723f0a0e071 100644 (file)
@@ -16,7 +16,7 @@
 void start_watchdog ( void );
 int main ( void )
 {
-  int r;
+  int r __attribute__((unused));
   sem_t s1;
   start_watchdog();
   /* Do sem_init with huge initial count */