diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/configure.ac b/configure.ac index 826456bf..b861e645 100644 --- a/configure.ac +++ b/configure.ac @@ -360,11 +360,11 @@ AC_SUBST(axiom_fasl_type) ## Occaionally, we may want to keep intermediary files. oa_keep_files= -AC_ARG_ENABLE([keep-files], - [ --enable-keep-files=<kind> keep intermediary files], +AC_ARG_ENABLE([int-file-retention], + [ --enable-int-file-retention keep intermediary files], [case $enableval in - yes|no|all) oa_keep_files=$enableval ;; - *) AC_MSG_ERROR([erroneous value for --enable-keep-files]) ;; + yes|no) oa_keep_files=$enableval ;; + *) AC_MSG_ERROR([erroneous value for --enable-int-file-retention]) ;; esac]) AC_SUBST(oa_keep_files) |