blob: 8a87359bd06f40c720d8f14798dd15ebe31ff6f5 [file] [log] [blame]
Neels Hofmeyr1a4c4602018-03-15 22:04:41 +01001#!dont_run_this
2# This file is sourced by */gen_links.sh
3
Neels Hofmeyr53fb0cf2018-03-15 22:14:38 +01004rm -f .gitignore
5
6gen_link() {
7 src="$1"
8 f="$2"
9 echo "Linking $f"
10 ln -sf "$src" "$f"
11 echo "$f" >> .gitignore
12}
13
Neels Hofmeyr1a4c4602018-03-15 22:04:41 +010014gen_links() {
15 DIR=$1
16 shift
17 FILES=$*
18 for f in $FILES; do
Neels Hofmeyr53fb0cf2018-03-15 22:14:38 +010019 gen_link "$DIR/$f" "$f"
Neels Hofmeyr1a4c4602018-03-15 22:04:41 +010020 done
21}
Neels Hofmeyrcd112232018-03-16 00:03:00 +010022
23ignore_pp_results() {
24 for pp in *.ttcnpp; do
25 ttcn_file="$(echo $pp | sed 's/pp$//')"
26 echo "$ttcn_file" >> .gitignore
27 done
28}