Sebastian Huber 2d0bc839ed build: Remove EXTRA_DIST ...

A "make dist" is not supported. So, it makes no sense to have pure "make
dist" related stuff in the Makefile.am.

2018-04-04 10:09:04 +02:00

..

include/rtems

Remove make preinstall

2018-01-25 08:45:26 +01:00

src

score: Use self-contained API mutex

2017-12-04 10:53:39 +01:00

Makefile.am

build: Remove EXTRA_DIST

2018-04-04 10:09:04 +02:00

vc-key.sh

…

version-vc-key.h.in

…