From 9188b1f000f638060eb4495d25dc7f1c7c46cd34 Mon Sep 17 00:00:00 2001 From: Adam Langley Date: Wed, 11 Nov 2009 13:30:47 -0800 Subject: [PATCH] Revert make.bash which slipped into the previous revision. R=rsc http://codereview.prom.corp.google.com/1024051 --- src/make.bash | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/src/make.bash b/src/make.bash index a2f6a0fe1a..f152a74519 100755 --- 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 -- 2.48.1