diff options
Diffstat (limited to 'misc/estic/files/patch-check.cc')
| -rw-r--r-- | misc/estic/files/patch-check.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/misc/estic/files/patch-check.cc b/misc/estic/files/patch-check.cc new file mode 100644 index 000000000000..c62be9001a20 --- /dev/null +++ b/misc/estic/files/patch-check.cc @@ -0,0 +1,12 @@ +--- spunk/check.cc.orig Tue Jul 30 20:10:24 1996 ++++ spunk/check.cc Thu Dec 23 20:52:21 2004 +@@ -50,9 +50,6 @@ + + + // The fail vector +-#ifdef __GNUC__ +-volatile +-#endif + void (*CheckFailed) (const char*, const char* Cond, + int Code, const char* File, int Line) = _CheckFailed; + |