From e7411f1f7b80df2a096fad207ec07a9400d1c8c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Tue, 11 May 2004 17:52:05 +0200
Subject: [PATCH] PIKE_PORTABLE_BYTECODE is now on by default.

Rev: src/configure.in:1.834
---
 src/configure.in | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/configure.in b/src/configure.in
index ffde9ce82c..1584e7aeba 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -1,4 +1,4 @@
-AC_REVISION("$Id: configure.in,v 1.833 2004/05/11 08:49:54 grubba Exp $")
+AC_REVISION("$Id: configure.in,v 1.834 2004/05/11 15:52:05 grubba Exp $")
 AC_INIT(interpret.c)
 AC_CONFIG_HEADER(machine.h)
 
@@ -1511,8 +1511,9 @@ MY_AC_ARG_WITH(keypair-loop,
 	       [AC_DEFINE(PIKE_MAPPING_KEYPAIR_LOOP)])
 
 MY_AC_ARG_WITH(portable-bytecode,
-	MY_DESCR([--with-portable-bytecode],
-		 [enable portable bytecode support (EXPERIMENTAL).]),
+	MY_DESCR([--without-portable-bytecode],
+		 [disable portable bytecode support.]),
+	       [AC_DEFINE(PIKE_PORTABLE_BYTECODE)],[],
 	       [AC_DEFINE(PIKE_PORTABLE_BYTECODE)])
 
 MY_AC_ARG_WITH(lock,
-- 
GitLab