diff --git a/release/Makefile b/release/Makefile index f4410595e3b..67ccd291437 100644 --- a/release/Makefile +++ b/release/Makefile @@ -9,10 +9,6 @@ setup: cp ../toku_include/toku_os.h include cp ../linux/toku_os_types.h include cp ../lib/libtokuportability.a lib - if [ -f /usr/local/cilk/lib64/libcilkrts.so.1 ] ; then \ - cp /usr/local/cilk/lib64/libcilkrts.so.1 lib; \ - ln -s libcilkrts.so.1 lib/libcilkrts.so; \ - fi clean: rm -f include/* lib/*