Commit 4c899628 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Merge from feature_buster.

parent 98906e03
......@@ -4,17 +4,18 @@ 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
make distclean # ignore any errors here
./support/reconfig || exit 1
PATH=${PREFIX}/bin:${PATH} ./configure || exit 1
make uninstall || exit 1 # remove anything left in tool-inst
make || exit 1
make install || exit 1
cd $DIR/../polyorb-hi-ada || exit 1
make distclean # ignore any errors here
make distclean # ignore any errors here
./support/reconfig || exit 1
PATH=${PREFIX}/bin:${PATH} ./configure || exit 1
make uninstall || exit 1 # remove anything left in tool-inst
make || exit 1
make install || 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