diff --git a/dev/defPath.env b/dev/defPath.env index e3f2ec9..49f96d8 100644 --- a/dev/defPath.env +++ b/dev/defPath.env @@ -7,4 +7,5 @@ pushd "$( dirname "${BASH_SOURCE[0]}" )" cd .. export PATH="`pwd`/bin":$PATH export PATH="`pwd`/scriptBin":$PATH + export PATH="`pwd`/gemstone/bin":$PATH popd