diff options
author | Adrian Thurston <thurston@complang.org> | 2013-03-30 10:46:01 -0400 |
---|---|---|
committer | Adrian Thurston <thurston@complang.org> | 2013-03-30 10:46:01 -0400 |
commit | 17b032d068d505f6f833d36e07c2c7715e3ee3a7 (patch) | |
tree | 3b82905b9d87161eb4f42d19edfc47f7a12d853f | |
parent | 432e94f3458f0f9595d998b91463c378f79c5514 (diff) | |
download | colm-17b032d068d505f6f833d36e07c2c7715e3ee3a7.tar.gz |
done with the combine script
-rwxr-xr-x | test/combine.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/test/combine.sh b/test/combine.sh deleted file mode 100755 index 60157613..00000000 --- a/test/combine.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/bash -# - -for fn in $@; do - [ -f $fn ] || continue - ( - echo '##### LM #####'; - cat $fn - - if [ -f ${fn%.lm}.args ]; then - echo '##### ARGS #####'; - cat ${fn%.lm}.args - git rm ${fn%.lm}.args &>/dev/null - fi - - if [ -f ${fn%.lm}.in ]; then - echo '##### IN #####'; - cat ${fn%.lm}.in - git rm ${fn%.lm}.in &>/dev/null - fi - - if [ -f ${fn%.lm}.exp ]; then - echo '##### EXP #####'; - cat ${fn%.lm}.exp - git rm ${fn%.lm}.exp &>/dev/null - fi - - ) \ - > ${fn%.lm}.tst; - cat ${fn%.lm}.tst > $fn; - rm ${fn%.lm}.tst; - git add $fn -done |