Revert make.bash which slipped into the previous revision.

R=rsc
http://codereview.prom.corp.google.com/1024051

diff --git a/src/make.bash b/src/make.bash
index a2f6a0fe1a7242e24bccca184f6f0873101e8ed3..f152a74519139a34bfd82e89d65b60203a132fed 100755 (executable)
--- a/src/make.bash
+++ b/src/make.bash
@@ -47,19 +47,6 @@ if ! (cd lib9 && which quietgcc) >/dev/null 2>&1; then
        exit 1
 fi
 
-if make --version | head -n 1 | grep -c '^GNU Make' >> /dev/null ; then
-       MAKEVERSION=$(make --version | head -n 1 | cut -d' ' -f3)
-       MAKEMAJOR=$(echo $MAKEVERSION | cut -d'.' -f 1)
-       MAKEMINOR=$(echo $MAKEVERSION | cut -d'.' -f 2)
-
-       if [ "$MAKEMAJOR" -lt 3 -o "$MAKEMAJOR" -eq 3 -a "$MAKEMINOR" -le 80 ]; then
-               echo "Your make is too old. You appear to have $MAKEMAJOR.$MAKEMINOR, but we need at least 3.81."
-               exit 1
-       fi
-fi
-
-MAKEVERSION=$(make --version | head -n 1 | cut -d' ' -f3)
-
 bash clean.bash
 
 for i in lib9 libbio libmach cmd pkg libcgo cmd/cgo cmd/ebnflint cmd/godoc cmd/gofmt cmd/goyacc cmd/hgpatch