diff options
author | wm4 <wm4@nowhere> | 2014-10-27 18:32:25 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-10-27 18:32:25 +0100 |
commit | b8551bb7b8beade86a6467a5dca4e3ecb73f2df6 (patch) | |
tree | 42699bd52cb91c35f809475a648db7beb2a7b364 | |
parent | 12ec80b42ee69d2b7cbad4a04bddcb661146789c (diff) | |
download | mpv-build-b8551bb7b8beade86a6467a5dca4e3ecb73f2df6.tar.bz2 mpv-build-b8551bb7b8beade86a6467a5dca4e3ecb73f2df6.tar.xz |
Clean on manual branch-switching
Especially with FFmpeg, users get into trouble with FFmpeg's broken
build system, which might error on incremental builds for no good
reason.
-rwxr-xr-x | scripts/switch-branch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/switch-branch b/scripts/switch-branch index b2cd407..3890334 100755 --- a/scripts/switch-branch +++ b/scripts/switch-branch @@ -1,10 +1,17 @@ #!/bin/sh set -e +if [ x"$1" = "x" ]; then + echo "Need a component name." + exit 1 +fi + mkdir -p config FILENAME="branch-$1" BRANCH="$2" echo "$BRANCH" > config/"$FILENAME" +scripts/"$1"-clean + echo "Run ./rebuild to update the source and to compile the selected branch." |