Revert "gash: WIP"

This reverts commit fc31c2b8d79d78d47260b96201894bc00fc6a60b.
This commit is contained in:
Jan Nieuwenhuizen 2018-11-05 20:50:17 +01:00
parent d71a0b6052
commit 759888cec6
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
1 changed files with 5 additions and 3 deletions

View File

@ -18,18 +18,20 @@
# You should have received a copy of the GNU General Public License # You should have received a copy of the GNU General Public License
# along with GNU Mes. If not, see <http://www.gnu.org/licenses/>. # along with GNU Mes. If not, see <http://www.gnu.org/licenses/>.
set -ex set -e
VERSION=0.18 VERSION=0.18
# parse --prefix=prefix # parse --prefix=prefix
cmdline=$(echo "$@") cmdline=$(echo "$@")
p=$(echo "$@" | grep -o '[-][-]prefix=[^ ]*') p=${cmdline##*--prefix=}
p=$(echo "$p" | sed -e 's,--prefix=,,') p=${p% *}
p=${p% -*}
if [ -z "$p" ]; then if [ -z "$p" ]; then
p=${prefix-/usr/local} p=${prefix-/usr/local}
fi fi
prefix=$p prefix=$p
srcdir=${srcdir-$(dirname $0)} srcdir=${srcdir-$(dirname $0)}
. ${srcdest}build-aux/trace.sh . ${srcdest}build-aux/trace.sh