diff options
| author | herbelin | 2001-09-25 10:51:36 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-25 10:51:36 +0000 |
| commit | 0dda2590af59a11c5919aea06919c775b1ba70f7 (patch) | |
| tree | 897769f299be85322611e8296d6d86267491d35a | |
| parent | 22954faf5118b9c58e7338555cff77f3176beba9 (diff) | |
Nouvel emplacement pour coq.spec
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2066 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rwxr-xr-x | distrib/check-list | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/distrib/check-list b/distrib/check-list index 28a04fe81b..0ae0b0c466 100755 --- a/distrib/check-list +++ b/distrib/check-list @@ -75,8 +75,8 @@ echo -n " is that OK? " read a if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi -versionspec1=`grep "^Version: " ./coq.spec | sed -e 's!^Version: \(.*\)!\1!'` -versionspec2=`grep "^Source: " ./coq.spec | sed -e 's!.*coq-\(.*\)\.tar\.gz.*!\1!'` +versionspec1=`grep "^Version: " ./RH/coq.spec.tpl | sed -e 's!^Version: \(.*\)!\1!'` +versionspec2=`grep "^Source: " ./RH/coq.spec.tpl | sed -e 's!.*coq-\(.*\)\.tar\.gz.*!\1!'` if [ "$versionspec1" = "$version" -a "$versionspec2" = "$version" ]; then echo "Version number in coq.spec seems OK ($versionspec1)"; else |