diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-24 03:17:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-24 03:17:31 +0000 |
commit | ffbca7d35e4541017c1e1d736dacbe27e0de2c21 (patch) | |
tree | 6472437711d170ee121540af466b96ed57caab53 /src/utils | |
parent | d7d39823cf29e2b981e20fee3b0454624897371d (diff) | |
download | open-axiom-ffbca7d35e4541017c1e1d736dacbe27e0de2c21.tar.gz |
* algebra/Makefile.in: Support construction initial DB profile.
* interp/database.boot (printInitdbInfo): New.
(printAllInitdbInfo): Likewise.
* interp/sys-driver.boot (initializeDatabases): Exit early if
constructing initial DB profile.
(buildInitdbHandler): New. Handle --build-initdb.
* utils/command.cc (driver_table): Add map for --build-initdb.
Diffstat (limited to 'src/utils')
-rw-r--r-- | src/utils/command.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/utils/command.cc b/src/utils/command.cc index 0784f14c..cd9017c3 100644 --- a/src/utils/command.cc +++ b/src/utils/command.cc @@ -319,6 +319,7 @@ static void print_usage(void) { { "--compile", compiler_driver }, { "--translate", compiler_driver }, { "--build-databases", compiler_driver }, + { "--build-initdb", core_driver }, { "--make", linker_driver }, }; |