commit | b18f7d3ac16027601dbaa443ecfecfa45d8aee67 | [log] [tgz] |
---|---|---|
author | Neal Norwitz <nnorwitz@gmail.com> | Mon Jan 05 04:08:06 2009 +0000 |
committer | Neal Norwitz <nnorwitz@gmail.com> | Mon Jan 05 04:08:06 2009 +0000 |
tree | e55aa1767d51254e7058f97706785e98c512c026 | |
parent | c95c6f1a040becb796cc190ca11ad02c2eaa6f5c [diff] [blame] |
Backport r68338: Make sure to checkout any new packages
diff --git a/Misc/build.sh b/Misc/build.sh index 423e96d..43b3ce4 100755 --- a/Misc/build.sh +++ b/Misc/build.sh
@@ -263,7 +263,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