diff options
Diffstat (limited to 'src/make.bash')
| -rwxr-xr-x | src/make.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/make.bash b/src/make.bash index a6f5fd92c6..830ac70689 100755 --- a/src/make.bash +++ b/src/make.bash @@ -23,7 +23,7 @@ do echo; echo; echo %%%% making $i %%%%; echo cd $i case $i in - cmd | lib) + cmd) bash make.bash ;; *) |