diff options
author | Steven Noonan <steven@uplinklabs.net> | 2009-09-29 16:57:05 -0700 |
---|---|---|
committer | Steven Noonan <steven@uplinklabs.net> | 2009-09-29 16:57:05 -0700 |
commit | 202894053825ef4275bb492636b0155f84b0a363 (patch) | |
tree | cf9f1d28623a516a8157683bb9af1accf4b31f0e /crawl-ref/dolinks.sh | |
parent | 9f5ffcc6793afe30119408291a482c2a78133fe4 (diff) | |
download | crawl-ref-202894053825ef4275bb492636b0155f84b0a363.tar.gz crawl-ref-202894053825ef4275bb492636b0155f84b0a363.zip |
domake & dolinks: use BASH shell and GNU make
FreeBSD's /bin/sh doesn't understand pushd/popd.
FreeBSD's 'make' is BSD make. Use gmake instead.
Signed-off-by: Steven Noonan <steven@uplinklabs.net>
Diffstat (limited to 'crawl-ref/dolinks.sh')
-rwxr-xr-x | crawl-ref/dolinks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index e4a023d76c..072555e7bc 100755 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash mkdir -p NORMAL mkdir -p WIZARD |