More fixes around using externals repository.

diff --git a/mock.sh b/mock.sh
index 7fc68a8..5ec4d64 100755 (executable)
--- a/mock.sh
+++ b/mock.sh
@@ -12,8 +12,8 @@
 # pbuilder --create --distribution squeeze
 #
 # cat > /root/.pbuilderrc <<EOF
-# OTHERMIRROR='deb http://scientific.zcu.cz/repos/EMI3-external/debian/ stable/|deb file:///home/jenkins/debian-deps/ stable/|deb file:///home/jenkins/debian/ stable/'
-# BINDMOUNTS="/home/jenkins/debian-deps /home/jenkins/debian"
+# OTHERMIRROR='deb http://scientific.zcu.cz/repos/EMI3-external/debian/ stable/|deb file:///home/jenkins/debian-externals/ stable/|deb file:///home/jenkins/debian/ stable/'
+# BINDMOUNTS="/home/jenkins/debian-externals /home/jenkins/debian"
 # EOF
 # cp /root/.pbuilderrc ~jenkins/.pbuilderrc
 # chown jenkins:jenkins ~jenkins/.pbuilderrc
@@ -294,14 +294,13 @@ EOF
                ;;
 
        add)
-               shift
                FILES=$@
                if test -z "$FILES"; then
                        echo "Usage: $0 push { FILE.rpm... | FILE.changes... }"
                        exit 1
                fi
 
-               for file in $FILES; do add $file; shift; done
+               for file in $FILES; do shift; add $file; done
                ;;
 
        *)