1 files changed, 34 insertions, 0 deletions
diff --git a/configure b/configure
index 606107040..0c088dfa1 100755
--- a/configure
+++ b/configure
@@ -1405,6 +1405,28 @@ else
 fi;
 
 #
+# debug
+#
+# Check whether --enable-debug or --disable-debug was given.
+if test "${enable_buildbot+set}" = set; then
+  enableval="$enable_buildbot"
+
+		enable_buildbot="$enableval"
+		case $enableval in
+			"no");;
+			"yes");;
+			*) { { echo "$as_me:$LINENO: error: invalid argument --enable-buildbot=$enableval... stopping" >&5
+echo "$as_me: error: invalid argument --enable-debug=$enableval... stopping" >&2;}
+   { (exit 1); exit 1; }; };;
+		esac
+
+else
+  enable_debug="no"
+
+fi;
+
+
+#
 # RDTSC as Tick Source
 #
 # Check whether --enable-rdtsc or --disable-rdtsc was given.
@@ -4469,6 +4491,18 @@ case $enable_debug in
 		;;
 esac
 
+#
+# Buildbot
+#
+case $enable_buildbot in
+	"no")
+		#default value
+		;;
+	"yes")
+		CFLAGS="$CFLAGS -g -DBUILDBOT"
+		;;
+esac
+
 
 #
 # RDTSC