Minor changes to the distscript:

- The Verification check only checked that a file that's in SVN is there,
    which AM would have complained about during make dist, so it's really
    a pointless check
  - No need to remove / restore autogen.sh, as AM isn't going to put it
    in the tarball anyway, and even if it would, this thing would only
    cause it to fail during make dist.  All this step did was erase any
    changes you had to autogen.sh when you run make_dist_tarball, which
    really sucks.

This commit was SVN r13307.

contrib/dist/make_dist_tarball

@@ -77,22 +77,6 @@ make_tarball() {
         exit 1
     fi
 
-    #
-    # Sanity check
-    #
-    echo "*** Sanity check..."
-    file="ompi/mca/btl/gm/btl_gm_component.c"
-    if test ! -f "$file"; then
-        echo "Configure failed - no file: $file"
-        exit 1
-    fi
-
-    #
-    # Remove autogen.sh (just to ensure users don't try to run it)
-    #
-    echo "*** Removing autogen.sh from the tarball before make dist"
-    rm -rf autogen.sh
-
     #
     # make tarball
     #
@@ -113,11 +97,6 @@ make_tarball() {
     mv openmpi-* ..
 
     echo "*** All done"
-
-    #
-    # bring back autogen.sh
-    #
-    svn up autogen.sh
 }
 
 #########################################################################