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

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

653 commits behind the upstream repository.

5 years ago

1) rely on patch to actually patch the Makefile
2) move ineffective 'sed' hackery related to 'make validate'

Re 2), the sed script didn't actually modify the Makefile anyway
(unlear how long it has been ineffective), so let's just remove it.

8037703d

History

cleanup create_makefile.sh

Björn Brandenburg authored 5 years ago

1) rely on patch to actually patch the Makefile
2) move ineffective 'sed' hackery related to 'make validate'

Re 2), the sed script didn't actually modify the Makefile anyway
(unlear how long it has been ineffective), so let's just remove it.

create_makefile.sh 809 B