diff options
author | Erich Eckner <git@eckner.net> | 2018-04-25 15:47:00 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-04-25 15:47:00 +0200 |
commit | 3cc18396b92c2bcfb795eff17b9592a6b42473f9 (patch) | |
tree | ca99b4dec8425a6456ebd05d13817d01c767c695 | |
parent | 8a7888b2d23d79de6826763301320ad7dab1357d (diff) | |
download | builder-3cc18396b92c2bcfb795eff17b9592a6b42473f9.tar.xz |
bin/build-master-status: todos may be in lib/, too
-rwxr-xr-x | bin/build-master-status | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index 9503d71..9d8f2d1 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -19,7 +19,7 @@ fi mysql_cleanup # update todos -find "${base_dir}/bin/" "${base_dir}/conf/" -type f \ +find "${base_dir}/bin/" "${base_dir}/conf/" "${base_dir}/lib/" -type f \ -exec grep -nHF '' '{}' \; | \ sed 's,^'"$(str_to_regex "${base_dir}")"'/,,' | \ sed -n ' |