This exception does not however invalidate any other reasons why
the executable file might be covered by the GNU General Public License. */
-#ifndef __gthr_vxworks_h
-#define __gthr_vxworks_h
+#ifndef GCC_GTHR_VXWORKS_H
+#define GCC_GTHR_VXWORKS_H
#ifdef _LIBOBJC
#endif /* _LIBOBJC */
-#endif /* not __gthr_vxworks_h */
+#endif /* ! GCC_GTHR_VXWORKS_H */