From 40b3741f63c19e38077d57f4ce4737916ec5073e Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Fri, 12 Nov 2010 12:23:33 +0200
Subject: Bring in development gawk changes.

---
 ext.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'ext.c')

diff --git a/ext.c b/ext.c
index aee01a3d..4550355f 100644
--- a/ext.c
+++ b/ext.c
@@ -57,6 +57,9 @@ do_ext(NODE *tree)
 	junk = (AWKNUM) dummy;
 #endif
 
+	if (do_sandbox)
+		fatal(_("extensions not allowed in sandbox mode"));
+
 	if (do_lint && ! warned) {
 		warned = TRUE;
 		lintwarn(_("`extension' is a gawk extension"));
-- 
cgit v1.2.3