From bcf0aa42cdb3bd7f955fc82390263aed08bb31b8 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 29 Aug 2014 11:48:10 +0000
Subject: [PATCH] bin/build-binary-dist.sh: just a small fix

---
 bin/build-binary-dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/build-binary-dist.sh b/bin/build-binary-dist.sh
index 9139efbf7..593a275d0 100644
--- a/bin/build-binary-dist.sh
+++ b/bin/build-binary-dist.sh
@@ -13,7 +13,7 @@ hw=$(uname -m)  # Hardware name (e.g. i686 or x86_64)
 ver=$(grep -i ^version: gf.cabal | sed -e 's/version://' -e 's/ //g')
 
 name=gf-$ver
-destdir=dist/$name                 # assemble binary dist here
+destdir=$PWD/dist/$name            # assemble binary dist here
 prefix=${PREFIX:-/usr/local}       # where to install
 fmt=${FMT:-tar.gz}                 # binary package format (tar.gz or pkg)