diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build b/build index f018d3a5..a1950702 100755 --- a/build +++ b/build @@ -47,7 +47,7 @@ older_than enumerate/enumerate enumerate/enumerate.cc && { } ( - older_than tangle/tangle tangle/[0-9]*.cc tangle/boot.cc && { + older_than tangle/tangle tangle/*.cc && { noisy_cd tangle older_than type_list [0-9]*.cc && { grep -h "^struct .* {" [0-9]*.cc |sed 's/\(struct *[^ ]*\).*/\1;/' > type_list |