diff options
| author | Daniel Salzman <daniel.salzman@nic.cz> | 2013-03-22 15:17:43 +0100 |
|---|---|---|
| committer | Daniel Salzman <daniel.salzman@nic.cz> | 2013-03-22 15:19:24 +0100 |
| commit | 4df5c70fb9a92164475eacccdc64c212c4596a04 (patch) | |
| tree | b960231a460398102e4b113871cca47a28e87b84 /scripts | |
| parent | configure: add option for Ragel FSM type (diff) | |
| download | knot-4df5c70fb9a92164475eacccdc64c212c4596a04.tar.xz knot-4df5c70fb9a92164475eacccdc64c212c4596a04.zip | |
script: extend source files list
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update-project-files.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/update-project-files.py b/scripts/update-project-files.py index ad077b942..ded53844b 100755 --- a/scripts/update-project-files.py +++ b/scripts/update-project-files.py @@ -13,7 +13,8 @@ SOURCES = [ "*.ac", "*.am", "Makefile", # sources - "src/*.c", "src/*.h", + "src/*.c", "src/*.h", "src/*.rl", "src/*.l", + "src/*.y", ] OUTPUT_FILE = "Knot.files" |