Commit 5490713b authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Sync with master's cleanup of old pohic.

parent d0d87c52
......@@ -4,6 +4,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
# Setup the tools in ~/.local/bin
cd $DIR/../polyorb-hi-c || exit 1
make uninstall # remove anything left in tool-inst
make distclean # ignore any errors here
./support/reconfig || exit 1
PATH=${PREFIX}/bin:${PATH} ./configure || exit 1
......
Supports Markdown
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