diff options
Diffstat (limited to 'src/lib/make.bash')
| -rwxr-xr-x | src/lib/make.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/make.bash b/src/lib/make.bash index 24f8c0e62d..c2037e0dc6 100755 --- a/src/lib/make.bash +++ b/src/lib/make.bash @@ -6,7 +6,7 @@ set -e -for i in os math +for i in syscall os math do echo; echo; echo %%%% making lib/$i %%%%; echo cd $i |