"make -j N" fails

[rrthomas]

If the build system is run in parallel it can fail in various ways. Workaround is to document "don't do that".

[asarhaddon]

Hello.
Commit b4fce2a tells Make to ignore -j options, so this issue can probably be closed.

[rrthomas]

Thanks @asarhaddon. Current git master HEAD doesn't build for me, so I can't test it.

[rrthomas]

However, given that parallel building has been turned off, should this line:

GPRBUILD_OPTIONS                        := -j4

be removed from the Makefile? Or is this parallelism OK?

[asarhaddon]

Gprbuild is able to run several gcc instances compiling different Ada units.
Makefile should not attempt parallelism, among other reasons because it would run conflicting gprbuilds.