~ salmonella-environment-setup (master) b4cfa48b76a098d651e8f070aff50e758ab8221a

commit b4cfa48b76a098d651e8f070aff50e758ab8221a
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Sat Jun 26 15:25:27 2021 +0200
Commit:     Mario Domenech Goulart <mario@parenteses.org>
CommitDate: Sat Jun 26 15:25:27 2021 +0200

    openbsd-6.8.sh, debian-stretch: strip librocksdb

diff --git a/system-setup/debian-stretch.sh b/system-setup/debian-stretch.sh
index 0b7acdb..49ec170 100755
--- a/system-setup/debian-stretch.sh
+++ b/system-setup/debian-stretch.sh
@@ -322,6 +322,7 @@ cd rocksdb
 git checkout v6.20.3
 make shared_lib
 sudo make install
+sudo strip /usr/local/lib/librocksdb.so.6.20.3
 
 
 ### Finishing
diff --git a/system-setup/openbsd-6.8.sh b/system-setup/openbsd-6.8.sh
index 6eca0a1..5da85e8 100755
--- a/system-setup/openbsd-6.8.sh
+++ b/system-setup/openbsd-6.8.sh
@@ -71,3 +71,4 @@ cd rocksdb
 git checkout v6.20.3
 gmake shared_lib
 sudo gmake install
+sudo strip /usr/local/lib/librocksdb.so.6.20.3