On Sun, 3 Apr 2005 09:41, Ilia Mirkin wrote: > Is there a reason to use bash instead of sh, which is pretty standard > across all UNIX-like systems made in the past 15 years or so...
I think /bin/sh should be used since there aren't any bash'isms in that script (I am pretty sure.. certainly shouldn't be any IMHO :) > On Sat, 2005-04-02 at 17:44 -0600, LRK wrote: > > Starting at the top: > > > > FreeBSD does not have bash by default. It gets installed in > > /usr/local/bin so buildit needs a fix. > > > > > > --- gr-build/buildit.orig Sat Apr 2 12:48:18 2005 > > +++ gr-build/buildit Sat Apr 2 12:49:09 2005 > > @@ -1,4 +1,4 @@ > > -#!/bin/bash > > +#!/usr/bin/env bash > > # -*- shell-script -*- > > > > if [ $# -gt 0 -a "$1" == -n ] > > _______________________________________________ > Discuss-gnuradio mailing list > Discuss-gnuradio@gnu.org > http://lists.gnu.org/mailman/listinfo/discuss-gnuradio -- Daniel O'Connor software and network engineer for Genesis Software - http://www.gsoft.com.au "The nice thing about standards is that there are so many of them to choose from." -- Andrew Tanenbaum GPG Fingerprint - 5596 B766 97C0 0E94 4347 295E E593 DC20 7B3F CE8C
pgpAxVO5peLIn.pgp
Description: PGP signature
_______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
