diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/FILES | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/FILES b/tools/FILES index ee4cb77a45..5d26b66815 100644 --- a/tools/FILES +++ b/tools/FILES | |||
@@ -20,6 +20,7 @@ fwpatcher/resource.rc | |||
20 | ucl/Makefile | 20 | ucl/Makefile |
21 | ucl/*.[ch] | 21 | ucl/*.[ch] |
22 | ucl/src/*.[ch] | 22 | ucl/src/*.[ch] |
23 | ucl/src/*.ch | ||
23 | ucl/src/Makefile | 24 | ucl/src/Makefile |
24 | ucl/include/ucl/*.h | 25 | ucl/include/ucl/*.h |
25 | profile_reader/*.pl | 26 | profile_reader/*.pl |