diff --git a/edo/build_gcc_linux_release b/edo/build_gcc_linux_release index fb220d04..12e06bd0 100755 --- a/edo/build_gcc_linux_release +++ b/edo/build_gcc_linux_release @@ -2,6 +2,6 @@ mkdir -p release cd release -cmake .. +cmake -DWITH_BOOST=1 .. make cd ..