diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-03-16 00:03:00 +0100 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2018-03-16 18:25:58 +0100 |
commit | cd11223c0f78b9d101dcf5b5d012b571c48c1a21 (patch) | |
tree | 76df29f90e34492a7bb8268e3c199041b90beb69 /gen_links.sh.inc | |
parent | 0ad8f7e0982dbfcd57f3f4d5d5691c4e6d861208 (diff) |
ignore results of .ttcnpp files
Add another macro ignore_pp_results to gen_links.sh.inc and call from all
gen_links.sh files, to add results of *.ttcnpp files, i.e. generated *.ttcn
files, to .gitignore.
Change-Id: Ic7fb176226771212d7700dafaf27ac71f12a4a61
Diffstat (limited to 'gen_links.sh.inc')
-rw-r--r-- | gen_links.sh.inc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gen_links.sh.inc b/gen_links.sh.inc index aba8ca16..8a87359b 100644 --- a/gen_links.sh.inc +++ b/gen_links.sh.inc @@ -19,3 +19,10 @@ gen_links() { gen_link "$DIR/$f" "$f" done } + +ignore_pp_results() { + for pp in *.ttcnpp; do + ttcn_file="$(echo $pp | sed 's/pp$//')" + echo "$ttcn_file" >> .gitignore + done +} |