mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-11-09 08:37:58 +08:00
Add patches/*.diff to EXTRA_DIST
This commit is contained in:
1 parent
6caac6d12c
commit
2a9cd34c70
1 file changed
+1
@@ -15,3 +15,4 @@ DIST_SUBDIRS += solaris2.7
|
||||
DIST_SUBDIRS += rtems4.7
|
||||
|
||||
EXTRA_DIST += specstrip
|
||||
EXTRA_DIST += patches/*.diff
|
||||
Reference in new issue
Block a user