From 5689ef935c09edbedb6d8466aaf9742c472a00c9 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 16 Aug 2010 05:08:46 +0000 Subject: More configure work --- src/scripts/document.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/scripts') diff --git a/src/scripts/document.in b/src/scripts/document.in index bafdd1e2..14173484 100755 --- a/src/scripts/document.in +++ b/src/scripts/document.in @@ -57,7 +57,7 @@ eval_flags="@axiom_eval_flags@" lisp_flavor=@axiom_lisp_flavor@ # safety option -- used only when saving image. -enable_checking=@axiom_enable_checking@ +enable_checking=@oa_enable_checking@ # Issue a diagnostic message and exit with non-zero status. error() { -- cgit v1.2.3