We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0a6ef46 commit 134abd0Copy full SHA for 134abd0
1 file changed
build-docs
@@ -31,7 +31,7 @@ build() {
31
[ -d "$tree_dir" ] || git -C $repo_dir worktree add $tree_dir
32
33
mkdir -p $dest_dir
34
- DESTDIR=$dest_dir sh -c "cd $tree_dir && $build"
+ DESTDIR=$dest_dir bash -c "cd $tree_dir && $build"
35
done
36
}
37
0 commit comments