Commit d3a79493 authored by Christian Engwer's avatar Christian Engwer

add dune-common/bin to /usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games variable (fixes #341)

[[Imported from SVN: r194]]
parent c4c2e24b
......@@ -47,6 +47,7 @@ for OPT in "$@"; do
if test -d "$OPT/share/dune-common/am"; then
am_dir="$OPT/share/dune-common/am"
fi
PATH=$PATH:$OPT/bin
;;
esac
done
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment