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 | |
| parent | b21370eba464c123420f9951554710c568be36b1 (diff) | |
| download | open-axiom-5689ef935c09edbedb6d8466aaf9742c472a00c9.tar.gz | |
More configure work
Diffstat (limited to 'src/scripts')
| -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() { |