diff options
Diffstat (limited to 'bin/update_pch.sh')
| -rwxr-xr-x | bin/update_pch.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/update_pch.sh b/bin/update_pch.sh index 5299242b9d7c..78b4a47e6044 100755 --- a/bin/update_pch.sh +++ b/bin/update_pch.sh @@ -11,8 +11,12 @@ # Usage: update_pch.sh [<module>] # Invoke: make cmd cmd="./bin/update_pch.sh [..]" -root=`dirname $0` -root=`cd $root/.. >/dev/null && pwd` +if test -n "$SRC_DIR"; then + root="$SRC_DIR" +else + root=`dirname $0` + root=`cd $root/.. >/dev/null && pwd` +fi root=`readlink -f $root` cd $root |