summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure34
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