From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 31 Mar 2013 15:49:21 +0000 (+0200)
Subject: re-enable compiler bug workaroundä
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=686b21acce2a762814d8c58c6eedec39968b8a93;p=pspp

re-enable compiler bug workaroundä
---

diff --git a/src/data/casereader.c b/src/data/casereader.c
index 5695d7cfa8..37adbb37d6 100644
--- a/src/data/casereader.c
+++ b/src/data/casereader.c
@@ -242,9 +242,9 @@ casereader_count_cases__ (const struct casereader *reader,
   struct casereader *clone = casereader_clone (reader);
   casenumber n_cases = casereader_advance (clone, max_cases);
 #if (__GNUC__ == 4 ) && (__GNUC_MINOR__ == 4)
-  // volatile int x = 1;
+  volatile int x = 1; x++;
 #endif
-  //  casereader_destroy (clone);
+  casereader_destroy (clone);
   return n_cases;
 }