diff options
Diffstat (limited to 'src/cmd/make.bash')
| -rw-r--r-- | src/cmd/make.bash | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/cmd/make.bash b/src/cmd/make.bash index 83c97039c2..349aa39540 100644 --- a/src/cmd/make.bash +++ b/src/cmd/make.bash @@ -40,3 +40,8 @@ echo; echo; echo %%%% making 6g %%%%; echo cd 6g make install cd .. + +echo; echo; echo %%%% making db %%%%; echo +cd db +make install +cd .. |