# HG changeset patch
# User diego
# Date 1267718241 0
# Node ID ac94bb7f65eb2fc1acb981b2be4cdf76f1cc42f8
# Parent  1001c606f94cdacef52bd53219955f73b45c8679
Run script with /bin/sh instead of bash.
There is nothing bash-specific in this shell script.

diff -r 1001c606f94c -r ac94bb7f65eb DOCS/tech/mirrors/update_mplayer_rsync
--- a/DOCS/tech/mirrors/update_mplayer_rsync	Thu Mar 04 15:57:08 2010 +0000
+++ b/DOCS/tech/mirrors/update_mplayer_rsync	Thu Mar 04 15:57:21 2010 +0000
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 # MPlayer mirroring script
 # $Id$