diff --git a/edo/build_gcc_linux_release b/edo/build_gcc_linux_release index cf311d461..389d9b745 100755 --- a/edo/build_gcc_linux_release +++ b/edo/build_gcc_linux_release @@ -2,7 +2,7 @@ mkdir -p release cd release -#cmake -DWITH_EIGEN=1 .. -cmake -DWITH_BOOST=1 .. +cmake -DWITH_EIGEN=1 .. +#cmake -DWITH_BOOST=1 .. make cd ..