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

Snippets Groups Projects

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

Source project has a limited visibility.

5 years ago
bc20368f
Don't re-generate _CoqProject in create_makefile.sh · bc20368f
Björn Brandenburg authored 5 years ago
```
No need to re-generate an unchanging file from scratch.
```
bc20368f

History
Don't re-generate _CoqProject in create_makefile.sh
Björn Brandenburg authored 5 years ago
```
No need to re-generate an unchanging file from scratch.
```