Florian Angeletti 5302b09764 ci: check the prefixing policy for runtime symbols (#9260) ... * ci: check runtime symbol policy on travis and Appveyor * tune check-symbol-names: ** ignore all local symbol ** ignore Caml_ prefix ** ignore x86: pic-related symbols ** windows: ignore debugging, unicode and wmain symbols		2020-01-29 15:30:15 +01:00
..
travis-ci.sh	ci: check the prefixing policy for runtime symbols (#9260)	2020-01-29 15:30:15 +01:00