Changeset 6928

Timestamp:

02/13/08 09:02:18 (10 months ago)

Author:

vboxsync

Message:

add --build-profile switch

Files:

• trunk/configure (modified) (3 diffs)

trunk/configure

@@ -1312 +1312 @@
-Build type:
-  -d, --build-debug        build with debugging symbols and assertions
+  --build-profile          build with profiling support
-  --build-headless         build headless (without any X11 frontend)
-EOF
@@ -1373 +1374 @@
-    --build-debug|-d)
-      BUILD_TYPE=debug
+      ;;
+    --build-profile)
+      BUILD_TYPE=profile
-      ;;
-    --build-libxml2)
@@ -1447 +1451 @@
-if [ "$BUILD_TYPE" = "debug" ]; then
-  echo "Creating DEBUG build!" >> $LOG
+elif [ "$BUILD_TYPE" = "profile" ]; then
+  echo "Creating PROFILE build!" >> $LOG
-fi
-