diff options
| author | letouzey | 2002-03-21 11:57:23 +0000 |
|---|---|---|
| committer | letouzey | 2002-03-21 11:57:23 +0000 |
| commit | 3e61324e81b69f7466a24610fcf4a2ccbe82a6d5 (patch) | |
| tree | d875c560c37e9d84e89f972575a26fe27e97f490 /contrib/extraction/test/qualify2open | |
| parent | 84e4b7e52e3cc936ce58f3a6f517818ffeff6b57 (diff) | |
changement du test extraction suite aux modif inining
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2556 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/test/qualify2open')
| -rwxr-xr-x | contrib/extraction/test/qualify2open | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/contrib/extraction/test/qualify2open b/contrib/extraction/test/qualify2open deleted file mode 100755 index 48b381d1c1..0000000000 --- a/contrib/extraction/test/qualify2open +++ /dev/null @@ -1,19 +0,0 @@ -#/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 - |