Skip to content
Snippets Groups Projects
Commit 68a5d32f authored by Christian Engwer's avatar Christian Engwer
Browse files

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

[[Imported from SVN: r849]]
parent 18a5c08a
Branches
Tags
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment