Don't do a "git pull --rebase" before "git reset --hard"

Rebasing the old branch content doesn't make sense if we are
going to throw it away with a "git reset --hard" directly
afterwards. When rebasing the old branch content the process
could easily fail if the old patches didn't apply any longer.

Signed-off-by: Felix Paul Kühne <fkuehne@videolan.org>

compileVLCforiOS.sh

@@ -139,7 +139,6 @@ git branch --set-upstream-to=origin/master localAspenBranch
 cd ..
 else
 cd MediaLibraryKit
-git pull --rebase
 git reset --hard ${TESTEDMEDIALIBRARYKITHASH}
 cd ..
 fi
@@ -152,7 +151,6 @@ git reset --hard ${TESTEDVLCKITHASH}
 cd ..
 else
 cd VLCKit
-git pull --rebase
 git reset --hard ${TESTEDVLCKITHASH}
 cd ..
 fi