--- config.h.in.orig	Tue Jul  2 19:30:48 2002
+++ config.h.in	Tue Jul  2 19:35:53 2002
@@ -35,8 +35,10 @@
 
 #undef ORBIT_HAVE_ALLOCA_H
 
-#ifdef ORBIT_HAVE_ALLOCA_H
+#if defined(ORBIT_HAVE_ALLOCA_H) 
+#if ORBIT_HAVE_ALLOCA_H != 0
 #include <alloca.h>
+#endif
 #endif
 
 /* Define if you have the `basename' function. */
