vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Fix distfiles list.

Browse source 
Reported by: Andrey Borzenkov <arvidjaar@gmail.com>
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2013-05-11 15:48:08 +02:00
parent 43c863f5be
commit 62b15edfd1
6 changed files with 28 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
gentpl.py
View file

@ -541,6 +541,7 @@ chmod a+x [+ name +]
""")
r += gvar_add("CLEANFILES", "[+ name +]")
r += gvar_add("EXTRA_DIST", extra_dist())
r += gvar_add("dist_noinst_DATA", platform_sources(platform))
return r