check presence of weak symbols

Author: Jorge Aparicio

ci/script.sh

@@ -33,6 +33,16 @@ inspect() {
     $PREFIX$OBJDUMP -Cd target/**/debug/*.rlib
     $PREFIX$OBJDUMP -Cd target/**/release/*.rlib
     set -e
+
+    case $TRAVIS_OS_NAME in
+        linux)
+            # Check presence of weak symbols
+            local symbols=( memcmp memcpy memmove memset )
+            for symbol in "${symbols[@]}"; do
+                $PREFIX$NM target/**/debug/*.rlib | grep -q "W $symbol"
+            done
+        ;;
+    esac
 }
 
 main() {