diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-11-03 15:02:49 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-11-03 15:02:49 +0000 |
commit | d2805f1efbf19799229532ffd25ec2856fe11412 (patch) | |
tree | 3a7838c3431e2feddbfa406faf3f45c3765e8f63 /contrib/extraction/test | |
parent | b5d11e695f935bfc28f833baaa481d604009db33 (diff) |
ajout du script qualify2open qui met des open Truc en debut de fichier
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2153 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/test')
-rwxr-xr-x | contrib/extraction/test/qualify2open | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/contrib/extraction/test/qualify2open b/contrib/extraction/test/qualify2open new file mode 100755 index 000000000..48b381d1c --- /dev/null +++ b/contrib/extraction/test/qualify2open @@ -0,0 +1,19 @@ +#/bin/sh + +mv $1 $1.orig + +touch $1 + +awk '{ s = $0 + do { + match(s,"[A-Z][a-zA-Z0-9_]*\\.") + if (RLENGTH>0) + printf("open %s\n",substr(s,RSTART,RLENGTH-1)) + s = substr(s,RSTART+RLENGTH) + } while (RLENGTH>0)}' $1.orig | sort | uniq >> $1 + +echo >> $1 + +awk '{ gsub("[A-Z][a-zA-Z0-9_]*\\.","") + print $0}' $1.orig >> $1 + |