create_makefile.sh · d52138bfa10d7467ad1053610fa364815755babc · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

5 years ago

fix Makefile creation to not pick up files ending in .v in .git · d52138bf

If one names a branch "something-something-file.v", then the current
script will find it in the .git directory and try to compile git's
branch description as a Coq file...

d52138bf

History

fix Makefile creation to not pick up files ending in .v in .git

Björn Brandenburg authored 5 years ago

If one names a branch "something-something-file.v", then the current
script will find it in the .git directory and try to compile git's
branch description as a Coq file...