From da42feae58e7e30731b554c214803bc772d10e2e Mon Sep 17 00:00:00 2001 From: Enno Rehling Date: Sun, 21 Sep 2014 09:56:15 +0200 Subject: [PATCH] do not need bash --- s/cron/previews.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/s/cron/previews.sh b/s/cron/previews.sh index 0e9a3e0e6..7c9f8bb95 100755 --- a/s/cron/previews.sh +++ b/s/cron/previews.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh [ -z $ERESSEA ] && ERESSEA=$HOME/eressea SRC=$ERESSEA/git $SRC/s/preview build master