diff --git a/edo/build_gcc_linux_release b/edo/build_gcc_linux_release index 389d9b745..a1a0f53b9 100755 --- a/edo/build_gcc_linux_release +++ b/edo/build_gcc_linux_release @@ -4,5 +4,6 @@ mkdir -p release cd release cmake -DWITH_EIGEN=1 .. #cmake -DWITH_BOOST=1 .. + make cd ..