diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/sys-driver.boot | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/interp/sys-driver.boot b/src/interp/sys-driver.boot index 4a97d76e..593244f3 100644 --- a/src/interp/sys-driver.boot +++ b/src/interp/sys-driver.boot @@ -175,7 +175,8 @@ restart() == RESTART0() readSpadProfileIfThere() spad() - + +--% initializeGlobalState() == REROOT() @@ -224,3 +225,10 @@ compileSpadLibrary(progname,options,file) == associateRequestWithFileType(Option '"compile", '"spad", function compileSpadLibrary) + +buildDatabasesHandler(prog,options,args) == + initializeGlobalState() + MAKE_-DATABASES args + coreQuit(errorCount() > 0 => 1; 0) + +installDriver(Option '"build-databases",function buildDatabasesHandler) |