diff options
author | dos-reis <gdr@axiomatics.org> | 2010-08-16 05:08:46 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-08-16 05:08:46 +0000 |
commit | 5689ef935c09edbedb6d8466aaf9742c472a00c9 (patch) | |
tree | 2fe140e86001581a3d971a0da4c4127a5e1a73a3 /src/scripts/document.in | |
parent | b21370eba464c123420f9951554710c568be36b1 (diff) | |
download | open-axiom-5689ef935c09edbedb6d8466aaf9742c472a00c9.tar.gz |
More configure work
Diffstat (limited to 'src/scripts/document.in')
-rwxr-xr-x | src/scripts/document.in | 2 |
1 files changed, 1 insertions, 1 deletions
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() { |