make it possible to restart timer with a simple Start(), as in other ports

[wxWidgets.git] / src / common / validate.cpp

diff --git a/src/common/validate.cpp b/src/common/validate.cpp
index 92848841c4f50696811652538d249ab4a8d78d04..64210336a3924aaf328792d885207c91bbc6f8e6 100644 (file)
--- a/src/common/validate.cpp
+++ b/src/common/validate.cpp
@@ -5,11 +5,11 @@
 // Modified by:
 // Created:     04/01/98
 // RCS-ID:      $Id$
-// Copyright:   (c) Julian Smart and Markus Holzem
-// Licence:     wxWindows license
+// Copyright:   (c) Julian Smart
+// Licence:     wxWindows licence
 /////////////////////////////////////////////////////////////////////////////
 
-#ifdef __GNUG__
+#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
 #pragma implementation "validate.h"
 #endif