diff options
Diffstat (limited to 'packaging')
| -rw-r--r-- | packaging/standalone/erl.diff | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/packaging/standalone/erl.diff b/packaging/standalone/erl.diff new file mode 100644 index 0000000000..c51bfe2213 --- /dev/null +++ b/packaging/standalone/erl.diff @@ -0,0 +1,5 @@ +20c20,21 +< ROOTDIR="%FINAL_ROOTDIR%" +--- +> realpath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" ; } +> ROOTDIR="$(dirname `realpath $0`)/../.." |