From cba9cbddfcea237ee158b28dee01666fbb216d8c Mon Sep 17 00:00:00 2001
From: "lenz@mysql.com" <>
Date: Thu, 21 Aug 2003 12:15:22 +0200
Subject: [PATCH]  - added missing option "--without-embedded" to be able to
 compile without    the embedded server (it was missing in the previous push)

---
 Build-tools/Do-compile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile
index 6cf577162ed..e5783dbf515 100755
--- a/Build-tools/Do-compile
+++ b/Build-tools/Do-compile
@@ -51,6 +51,7 @@ GetOptions(
 	"with-low-memory",
 	"with-other-libc=s",
 	"with-small-disk",
+	"without-embedded",
 ) || usage();
 
 usage() if ($opt_help);