[Makefile] avoid copying cmx if only bytecode is available
Thanks to Mehdi Dogguy for pointing the issue and suggesting the patch, applied to the Debian Frama-C package.
Loading
Please register or sign in to comment
Thanks to Mehdi Dogguy for pointing the issue and suggesting the patch, applied to the Debian Frama-C package.