Commit Graph

5 Commits (master)

Author SHA1 Message Date
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
Gabriel Scherer 41c6f50ec8 shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compat
Currently our CI machine on FreeBSD fails to build with the following
error message:

```
bytecomp/generate_runtimedef.sh runtime/caml/fail.h runtime/primitives > bytecomp/runtimedef.ml
/bin/sh: bytecomp/generate_runtimedef.sh: not found
```

This PR converts all the files with a `/bin/bash` shebang to
`/usr/bin/env bash`. Some files use `/bin/sh` instead, and they are
unchanged. It may be the case that some 'bash' files could in fact run
using 'sh', but checking this requires more work and I decided to
follow the original author's intent.

(Personally I like using bash explicitly as it gives a consistent
programming environment that I can easily test on my machine; but this
should not be at the expense of portability.)
2018-10-16 09:06:16 +02:00
Gabriel Scherer cfac8525ab fix minor bug in tools/check-symbol-names
(cherry picked from commit d609dc57f8c863d613250e506f39fefe6674100a)
2017-11-10 17:21:56 +01:00
David Allsopp 29f80504ad Add missing copyright header 2017-10-25 23:54:39 +01:00
Stephen Dolan 0c61ce8d5c Fix some globally-visible names, and add a tool for them (#973) 2017-03-07 08:21:41 +00:00