changeset 30796:ac94bb7f65eb

Run script with /bin/sh instead of bash. There is nothing bash-specific in this shell script.
author diego
date Thu, 04 Mar 2010 15:57:21 +0000
parents 1001c606f94c
children 5c32244c0ae1
files DOCS/tech/mirrors/update_mplayer_rsync
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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$