commit | f99b0110a8b54524b6701a09b44d2eb149581385 | [log] [tgz] |
---|---|---|
author | Neal Norwitz <nnorwitz@gmail.com> | Mon Jan 05 03:57:25 2009 +0000 |
committer | Neal Norwitz <nnorwitz@gmail.com> | Mon Jan 05 03:57:25 2009 +0000 |
tree | b3a3a002b112a8c242884dd3662456006016e4a3 | |
parent | e87a28cd0ae5bff3cfb85a19c73bf94ef52acebe [diff] |
Make sure to checkout any new packages
diff --git a/Misc/build.sh b/Misc/build.sh index 8a15b0d..2c09fbb 100755 --- a/Misc/build.sh +++ b/Misc/build.sh
@@ -266,7 +266,7 @@ echo "Conflict detected in $CONFLICTED_FILE. Doc build skipped." > ../build/$F err=1 else - make update html >& ../build/$F + make checkout update html >& ../build/$F err=$? fi update_status "Making doc" "$F" $start