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);