2ef2243f7f* Moved subtree scripts to tools, updated bash script for granularity * Squashed 'libraries/ZWidget/' changes from 96501b6ef1..02da8cdc0e 02da8cdc0e Added ListView::GetPreferredWidth, ListView::GetPreferredHeight, ListView::GetMinHeight 04bf153d9d Added event subscriber system 1ce55e5da2 Added Dropdown Known issues: does not hide when parent widget's visibility changes git-subtree-dir: libraries/ZWidget git-subtree-split: 02da8cdc0e0ca14443245e0aa5a25b3f8e84928b
16 lines
420 B
Bash
Executable file
16 lines
420 B
Bash
Executable file
#!/bin/bash
|
|
|
|
pushd "$(git rev-parse --show-toplevel)" >/dev/null
|
|
|
|
pull() {
|
|
if [[ "${1}" == "${2}" || "${1}" == "all" ]]
|
|
then
|
|
echo "fetching ${2}"
|
|
git subtree pull --prefix="${3}" "https://github.com/${4}" "${5}" --squash || exit
|
|
else
|
|
echo "${2} not specified, skipping"
|
|
fi
|
|
}
|
|
|
|
pull "$1" 'zwidget' 'libraries/ZWidget' 'dpjudas/ZWidget' 'master'
|
|
pull "$1" 'zmusic' 'libraries/ZMusic' 'ZDoom/ZMusic' 'master'
|