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
diff --git a/gen_links.sh.inc b/gen_links.sh.inc
index aba8ca1..8a87359 100644
--- a/gen_links.sh.inc
+++ b/gen_links.sh.inc
@@ -19,3 +19,10 @@
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
+}