diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2022-03-18 18:37:42 +0100 |
---|---|---|
committer | laforge <laforge@osmocom.org> | 2022-03-22 17:49:55 +0000 |
commit | bedb1fd1e2d1efa6b94b2fd45639cab51bf72688 (patch) | |
tree | fee4ef561a21eb7f8a7e5ec792eda071b5d4c430 | |
parent | 9e55abdfb1da7856b559746f0acabfd472712bee (diff) |
gen_links.sh.inc: Fix globbing writing '*.ttcn' to */.gitignore
This was the case under ggsn_tests, which in turn prevents search text
tools like "ag" to find stuff in .ttcn files (because it skips code in
.gitignore).
Change-Id: Iaef3cfd5ae29db352046664ab4949b037ca80307
-rw-r--r-- | gen_links.sh.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gen_links.sh.inc b/gen_links.sh.inc index 539b3983..c21bcd60 100644 --- a/gen_links.sh.inc +++ b/gen_links.sh.inc @@ -36,6 +36,8 @@ gen_links() { } ignore_pp_results() { + # Avoid using the pattern itself if no file is found in globbing below: + shopt -s nullglob for pp in *.ttcnpp; do ttcn_file="$(echo $pp | sed 's/pp$//')" echo "$ttcn_file" >> .gitignore |