Commit 99e2a494 authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

Update install_all_dune_modules.sh

parent abaa18d6
......@@ -83,6 +83,6 @@ echo "You can add the following lines to you .bashrc file "
echo " export DUNE_CONTROL_PATH=${PREFIX} "
echo " export PATH=${PREFIX}/dune-common/bin:\${PATH} "
echo " "
echo "In order to compile your module, just run "
echo " duncontrol --opts=${PREFIX}/config.opts --current all "
echo "In order to build all modules, run inside the ${PREFIX} dir "
echo " duncontrol --opts=${PREFIX}/config.opts all "
echo "=============================================================="
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