1 files changed, 3 insertions, 0 deletions
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"));